4035 search results - page 378 / 807 » Useless Actions Are Useful |
142
click to vote
KR
2004
Springer
16 years 5 days ago
2004
Springer
The situation calculus, as proposed by McCarthy and Hayes, and developed over the last decade by Reiter and co-workers, is reconsidered. A new logical variant is proposed that cap...
195
click to vote
SFM
2004
Springer
16 years 4 days ago
2004
Springer
We treat theory and application of timed process algebra. We focus on a variant that uses explicit termination and action prefixing. This variant has some advantages over other va...
197
click to vote
PERCOM
2003
ACM
16 years 2 days ago
2003
ACM
Seeking to extend the functional capability of the elderly, we explore the use of probabilistic methods to learn and recognise human activity in order to provide monitoring suppor...
159
click to vote
PG
2003
IEEE
16 years 2 days ago
2003
IEEE
We present a physically-inspired model of wax crayons, which synthesizes drawings from collections of userspecified strokes. Paper is represented by a height-field texture, and ...
140
click to vote
DSOM
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. Current self-healing systems are built from “convergent” actions that only make repairs when necessary. Using an algebraic model of system administration, we challeng...