266 results on '"Yves Deville"'
Search Results
52. Approximate Constrained Subgraph Matching.
53. A Mozart Implementation of CP(BioNet).
54. Synthesis of Programs in Computational Logic.
55. Optimal and efficient filtering algorithms for table constraints.
56. Multi-objective traffic engineering for data center networks.
57. Consistency techniques for interprocedural test data generation.
58. Integrative machine learning approach for multi-class SCOP protein fold classification.
59. The Static and Stochastic VRPTW with both random Customers and Reveal Times: algorithms and recourse strategies.
60. Editors' Introduction to the Special Issue on 'Information and Communication Technology'.
61. From AOSE methodology to agent implementation.
62. Domain consistency with forbidden values.
63. A Constraint Satisfaction Approach to Parametric Differential Equations.
64. Automatic Test Data Generation for Programs with Integer and Float Variables.
65. Optimal Pruning in Parametric Differential Equations.
66. Solving the quorumcast routing problem by constraint programming.
67. Constraint-based Very Large-Scale Neighborhood search.
68. LS(Graph): a constraint-based local search for constraint optimization on trees and paths.
69. Solving Steel Mill Slab Problems with constraint-based techniques: CP, LNS, and CBLS.
70. Solving subgraph isomorphism problems with constraint programming.
71. Multistep Filtering Operators for Ordinary Differential Equations.
72. Consistency Techniques in Ordinary Differential Equations.
73. NeAT: a toolbox for the analysis of biological networks, clusters, classes and pathways.
74. Introduction to Special issue on 'The Sixth International Symposium on Information and Communication Technology -SoICT 2015.
75. Constraint Satisfaction over Connected Row Convex Constraints.
76. Logic Program Schemas, Constraints, and Semi-unification.
77. A Distributed Arc-Consistency Algorithm.
78. Book review: Concepts, Techniques, and Models of Computer Programming by Peter Van Roy, Seif Haridi, MIT Press, 2004, ISBN 0-262-22069-5.
79. The aMAZE LightBench: a web interface to a relational database of cellular processes.
80. Guiding Synthesis Proofs.
81. An overview of data models for the analysis of biochemical pathways.
82. Heuristic methods for the Traveling Salesman Problem with Drone.
83. SYNAPSE- A System for Logic Program Synthesis from Incomplete Specifications.
84. Consistency Techniques in Ordinary Differential Equations.
85. A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Ordinary Differential Equations.
86. Just-In-Time Scheduling with Constraint Programming.
87. The Cardinality Operator: A New Logical Connective for Constraint Logic Programming.
88. Operational Semantics of Constraint Logic Programming over Finite Domains.
89. An Efficient Arc Consistency Algorithm for a Class of CSP Problems.
90. Synthesis of Composition and Discrimination Operators for Divide-and-Conquer Logic Programs.
91. Towards Stepwise, Schema-guided Synthesis of Logic Programms.
92. Construction of CLP Programs.
93. Simulated Annealing with Estimated Temperature.
94. Constraint Satisfaction over Connected Row Convex Constraints.
95. Design, Implementation, and Evaluation of the Constraint Language cc(FD).
96. A Distributed Arc-Consistency Algorithm.
97. Recherche de chemins contraints dans les réseaux biochimiques.
98. Logic Program Transformation through Generalization Schemata.
99. Design, Implementation, and Evaluation of the Constraint Language cc(FD)
100. Logic Program Synthesis.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.