675 search results - page 1 / 135 » Programming Constraint Inference Engines |
CP
1997
Springer
13 years 9 months ago
1997
Springer
Abstract. Existing constraint programming systems offer a fixed set of inference engines implementing search strategies such as single, all, and best solution search. This is unfo...
SAS
2004
Springer
13 years 10 months ago
2004
Springer
Termination has been a subject of intensive research in the logic programming community for the last two decades. Most works deal with proving universal left termination of a given...
ICSE
2007
IEEE-ACM
14 years 4 months ago
2007
IEEE-ACM
We propose a mechanism for object access control which is based on the UML. Specifically, we propose use of ownership and immutability constraints on UML associations and verifica...
CP
2005
Springer
13 years 10 months ago
2005
Springer
DIAGRAMS
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Isaac is a rule-based visual language for mobile robots using evidential reasoning and a fuzzy inference engine. A prototype inference engine for Isaac has been implement...