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