3808 search results - page 363 / 762 » Artificial Intelligence: A Modern Approach |
145
click to vote
CP
2005
Springer
16 years 11 days ago
2005
Springer
This paper presents a technique for learning parameterized implied constraints. They can be added to a model to improve the solving process. Experiments on implied Gcc constraints ...
157
click to vote
CP
2005
Springer
16 years 11 days ago
2005
Springer
Methods exploiting tree-decompositions seem to provide the best approach for solving constraint networks w.r.t. the theoretical time complexity. However, they have not shown a real...
147
click to vote
IEAAIE
2005
Springer
16 years 10 days ago
2005
Springer
We propose an approach to Natural Language Processing exploiting knowledge domain in an e-commerce scenario. Based on such modeling an NLP parser is presented, aimed at translating...
174
Voted
TPHOL
2003
IEEE
16 years 3 days ago
2003
IEEE
Abstract. Model checking and theorem proving are two complementary approaches to formal verification. In this paper we show how binary decision diagram (BDD) based symbolic model ...
187
click to vote
JETAI
2008
15 years 6 months ago
2008
gle level of abstraction cannot capture the required richness of behavior. In this paper, we offer a brief principled defense of epistemological pluralism in cognitive science and ...