6020 search results - page 461 / 1204 » A New Approach to Model Counting |
176
click to vote
SGAI
2007
Springer
16 years 1 months ago
2007
Springer
Grid-World is a working computer model which has been used to investigate the search capabilities of artificial agents that understand the world in terms of non-conceptual content...
186
click to vote
IFM
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. Behaviour Trees is a novel approach for requirements engineering. It advocates a graphical tree notation that is easy to use and to understand. Individual requirements ar...
190
click to vote
HICSS
1997
IEEE
15 years 11 months ago
1997
IEEE
In this paper we present a new approach for the development of hypertext information systems that avoids a number of traditional hypermedia authoring problems, and facilitates the...
147
click to vote
WSC
1998
15 years 8 months ago
1998
We present a new technique (RIIPS) for solving rostering problems in the presence of service uncertainty. RIIPS stands for "Rostering by Iterating Integer Programming and Sim...
163
click to vote
COLING
1996
15 years 8 months ago
1996
The paper presents the Constructive Dialogue Model as a new approach to formulate system goals in intelligent dialogue systems. The departure point is in general communicative pri...