1202 search results - page 221 / 241 » Sortings for Reactive Systems |
112
click to vote
ECCV
2010
Springer
15 years 4 months ago
2010
Springer
We present an analysis of the spatial covariance structure of an articulated motion prior in which joint angles have a known covariance structure. From this, a well-known, but ofte...
SIGMOD
2010
ACM
15 years 4 months ago
2010
ACM
Continuous analytics systems that enable query processing over steams of data have emerged as key solutions for dealing with massive data volumes and demands for low latency. Thes...
112
click to vote
FCCM
1997
IEEE
15 years 3 months ago
1997
IEEE
The RAW benchmark suite consists of twelve programs designed to facilitate comparing, validating, and improving reconfigurable computing systems. These benchmarks run the gamut o...
EUROSYS
2009
ACM
15 years 3 months ago
2009
ACM
Weakly consistent replication of data has become increasingly important both for loosely-coupled collections of personal devices and for large-scale infrastructure services. Unfor...
BIRTHDAY
1991
Springer
15 years 2 months ago
1991
Springer
The goal of the MKRP project is the development of a theorem prover which can be used as an inference engine in various applications, in particular it should be capable of proving ...