7167 search results - page 682 / 1434 » Answer Set Programming |
195
click to vote
AAAI
1990
15 years 8 months ago
1990
This paper presents a new approach for exploiting Truth Maintenance Systems(TMSs) which makes them simpler to use without necessarily incurring a substantial performance penalty. ...
173
Voted
IJCAI
1989
15 years 8 months ago
1989
In many applications in mobile robotics, it is important for a robot to explore its environment in order to construct a representation of space useful for guiding movement. We refe...
181
Voted
WICSA
2007
15 years 8 months ago
2007
Several Software Architecture Design Methods (SADM) have been published, reviewed, and compared. But these surveys and comparisons are mostly centered on intrinsic elements of the...
180
click to vote
CIDR
2009
15 years 8 months ago
2009
Does the advent of flash devices constitute a radical change for secondary storage? How should database systems adapt to this new form of secondary storage? Before we can answer t...
182
click to vote
CIIA
2009
15 years 8 months ago
2009
In this paper, we present a new synthesis feature namely, "Xor matching", and the foldback product term synthesis for Complex Programmable Logic Devices (CPLD) architectu...