263 results
Search Results
2. Galois Connections for Patterns: An Algebra of Labelled Graphs
3. Machine Breakdown Recovery in Production Scheduling with Simple Temporal Constraints
4. Characterisation of Knowledge Incorporation into Solution Models for the Meal Planning Problem
5. An Improved Ants Colony Algorithm for NP-hard Problem of Travelling Salesman
6. Verifying Nested Workflows with Extra Constraints
7. Coherence-Based Account of the Doctrine of Consistent Interpretation
8. Learning Algorithm Portfolios for Parallel Execution
9. Property Grammar Parsing Seen as a Constraint Optimization Problem
10. Improved Parameterized Algorithms for above Average Constraint Satisfaction
11. Solving a Vehicle Routing Problem with Ant Colony Optimisation and Stochastic Ranking
12. A Constraint Satisfaction Approach to Tractable Theory Induction
13. Ontology Driven Contextual Best Fit in Embodied Construction Grammar
14. The Parameterized Complexity of Constraint Satisfaction and Reasoning
15. Trajectory Planning with Dynamics Constraints for an Underactuated Manipulator
16. Formal Structure of Sanskrit Text: Requirements Analysis for a Mechanical Sanskrit Processor
17. A Toolkit for the Realization of Constraint-Based Multiagent Systems
18. Counting Homomorphisms via Hypergraph-Based Structural Restrictions
19. New Upper Bounds for MAX-2-SAT and MAX-2-CSP w.r.t. the Average Variable Degree
20. Scheduling Agents – Distributed Timetabling Problems
21. Ben Franklin: America’s First Operations Researcher
22. HIS: Hierarchical Solver for Over-Constrained Satisfaction Problems
23. Dynamic Distributed Resource Allocation: A Distributed Constraint Satisfaction Approach
24. A Value Ordering Heuristic for Local Search in Distributed Resource Allocation
25. Dynamic Distributed BackJumping
26. Effective Modeling with Constraints
27. Polyhedral Scene Analysis Combining Parametric Propagation with Calotte Analysis
28. Conflict Resolution in Norm-Regulated Environments Via Unification and Constraints
29. Clustering for Disconnected Solution Sets of Numerical CSPs
30. Modeling and Solution of a Complex University Course Timetabling Problem
31. Global Optimization and Constraint Satisfaction: The Branch-and-Reduce Approach
32. On Strategies of the Narrowing Operator Selection in the Constraint Propagation Method
33. Interchangeability in Soft CSPs
34. New Structural Decomposition Techniques for Constraint Satisfaction Problems
35. An Ontology for Reusing Synthetic Tasks
36. Integrating Conversational Interaction and Constraint Based Reasoning in an Agent Building Shell
37. Using Constraint Solvers in CAD/CAM Systems
38. Constraint (Logic) Programming: A Survey on Research and Applications
39. Abstracting Soft Constraints
40. Querying Semistructured Data Based on Schema Matching
41. University Course Timetabling with Soft Constraints
42. Benchmarking Global Optimization and Constraint Satisfaction Codes
43. Towards Automated Reasoning on the Properties of Numerical Constraints
44. Computing Explanations and Implications in Preference-Based Configurators
45. Hierarchical Constraint Satisfaction Based on Subdefinite Models
46. Constraint resolution within object hierarchies
47. Emergent constraint satisfaction through multi-agent coordinated interaction
48. Using bidirectionality to speed up arc-consistency processing
49. The many paths to satisfaction
50. Enhancing the constraint-solving power of clp(FD) by means of path-consistency methods
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.