972 search results - page 8 / 195 » Reasoning with Conditional Time-Intervals |
ECSQARU
2005
Springer
14 years 1 months ago
2005
Springer
LOPSTR
2004
Springer
14 years 27 days ago
2004
Springer
BTW
2009
Springer
14 years 2 months ago
2009
Springer
: TinTO is an experimental system aiming at demonstrating the usefulness and feasibility of incrementally evaluated SQL queries for analyzing a wide spectrum of data streams. As ap...
SCL
2008
13 years 7 months ago
2008
Abstract-- In this work, we focus on a class of nonlinear asynchronous systems defined by two different modes of operation, one stable and the other one unstable. The switching bet...
ASPDAC
2005
ACM
13 years 9 months ago
2005
ACM
Abstract — TERPS is a fault-tolerant computer design that significantly reduces the threat of electromagnetic interference (EMI), using hardware checkpoint/rollback-recovery. TE...