5863 search results - page 176 / 1173 » An evaluation of the TRIPS computer system |
104
click to vote
SEUS
2009
IEEE
15 years 8 months ago
2009
IEEE
Publish-subscribe-query information broker middleware offers great promise to users of pervasive computing systems requiring access to information. However, users of publish-subscr...
107
Voted
PPDP
2007
Springer
15 years 8 months ago
2007
Springer
We propose a new definition and use of a primitive getAllValues, for computing all the values of a non-deterministic expression in a functional logic program. Our proposal restri...
122
click to vote
MMB
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
AUTOMOTIVEUI
2009
ACM
15 years 8 months ago
2009
ACM
We present a case study concerning the development of a driving simulator at Mitsubishi Electric Research Laboratories. By relying largely on off-the-shelf components, we have kep...
104
click to vote
HUC
2007
Springer
15 years 8 months ago
2007
Springer
We study activity recognition using 104 hours of annotated data collected from a person living in an instrumented home. The home contained over 900 sensor inputs, including wired r...