1917 search results - page 127 / 384 » Experimenting with Nonmonotonic Reasoning |
100
click to vote
CADE
2004
Springer
16 years 1 months ago
2004
Springer
LRR [3] is a rewriting system developed at the Computer Science Department of University of Houston. LRR has two subsystems: Smaran (for tabled rewriting), and TGR (for untabled re...
108
Voted
ETELEMED
2009
IEEE
15 years 7 months ago
2009
IEEE
—Stress is one of the most common reasons for a number of serious diseases. For the prevention and treatment of stress, a psycho-physiological monitoring system for stress measur...
90
Voted
ICCBR
2009
Springer
15 years 7 months ago
2009
Springer
In this paper we revisit the trade-off between adaptation and retrieval effort traditionally held as a principle in case-based reasoning. This principle states that the time needed...
82
Voted
PIMRC
2008
IEEE
15 years 7 months ago
2008
IEEE
—In this paper the Self-Localization problem for Sensor Networks is addressed. Given a set of nodes deployed in an environment, self-localization consists of finding out the loc...
91
Voted
TACAS
2007
Springer
15 years 7 months ago
2007
Springer
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...