5130 search results - page 820 / 1026 » Constraint Query Languages |
163
click to vote
CP
2007
Springer
16 years 13 days ago
2007
Springer
It has recently been shown, for the Constraint Satisfaction Problem (CSP), that the state associated with a node of the search tree built by a backtracking algorithm can be exploit...
155
click to vote
FSEN
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
168
click to vote
POLICY
2007
Springer
16 years 11 days ago
2007
Springer
In many Grid services deployments, the clients and servers reside in different administrative domains. Hence, there is a requirement both to discover each other’s authorization ...
156
click to vote
HICSS
2006
IEEE
16 years 9 days ago
2006
IEEE
Intelligent Tutoring Systems (ITSs) have proved useful in a variety of domains, but are notoriously resource intensive to build. We have created two programs (“tutor generatorsâ...
168
click to vote
IAT
2006
IEEE
16 years 9 days ago
2006
IEEE
AbstractThis paper focuses on human-machine communication with intelligent agents, it proposes a generic architecture with an algorithm for natural language (NL) command interpreta...