7839 search results - page 1199 / 1568 » What's there and what's not |
142
click to vote
CORR
1998
Springer
15 years 1 months ago
1998
Springer
In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a least Herbrand model approach to Horn programs. We demonstrate ...
124
click to vote
IPL
2002
15 years 1 months ago
2002
One of the main reasons for using parallel evolutionary algorithms (PEAs) is to obtain efficient algorithms with an execution time much lower than that of their sequential counter...
114
click to vote
ISF
2002
15 years 1 months ago
2002
One of the biggest challenges facing the Internet today is to scale to an infrastructure that can provide quality-of-service (QoS) to a wide variety of applications and traffic typ...
IVC
2002
15 years 1 months ago
2002
In this paper we propose a paradigm called the Interactive Visual Dialog (IVD) as a means of facilitating a system's ability to recognize objects presented to it by a human. ...
124
click to vote
GRAMMARS
1998
15 years 1 months ago
1998
From the perspective of the linguist, the theory of formal languages serves as an abstract model to address issues such as complexity, learnability, information content, etc. which...