13827 search results - page 399 / 2766 » The state of artificial intelligence |
172
click to vote
CP
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Thanks to its extended expressiveness, the quantified constraint satisfaction problem (QCSP) can be used to model problems that are difficult to express in the standard C...
155
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we show how to establish correctness and time bounds (e.g., quality of service guarantees) for multi-agent systems composed of communicating rule-based agents. The f...
163
click to vote
FLAIRS
2008
15 years 9 months ago
2008
Retinopathy of Prematurity (ROP) is a disorder afflicting prematurely born infants. ROP can be positively diagnosed a few weeks after birth. The goal of this study is to build an ...
147
click to vote
LATA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Glushkov’s algorithm builds an ε-free nondeterministic automaton from a given regular expression. In the worst case, its number of states is linear and its number of t...
179
click to vote
CAEPIA
2005
Springer
16 years 11 days ago
2005
Springer
After defining what is understood by textual entailment and semantic equivalence, the present state and the desirable future of the systems aimed at recognizing them is shown. A c...