4480 search results - page 60 / 896 » Prototyping Completion with Constraints Using Computational ... |
145
Voted
AAAI
1997
15 years 4 months ago
1997
To effectively generate a fast and consistent apartment construction project network, Hyundai and KAIST have developed a case and constraint based project planning expert system f...
149
Voted
TLCA
2007
Springer
15 years 9 months ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...
121
click to vote
MHCI
2005
Springer
15 years 9 months ago
2005
Springer
Mobile computer technologies are increasingly being appropriated and used to facilitate people’s social life outside the work domain. Addressing this emerging domain of use, we ...
147
Voted
WFLP
2009
Springer
15 years 8 months ago
2009
Springer
Numerous computational and deductive frameworks use the notion of strategy to guide reduction and search space exploration, making the macro scale control of micro operations an ex...
124
click to vote
PODS
2003
ACM
16 years 3 months ago
2003
ACM
In this paper we consider general path constraints for semistructured databases. Our general constraints do not suffer from the limitations of the path constraints previously stud...