4520 search results - page 231 / 904 » Algebraic Techniques for Timed Systems |
220
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we consider Loosely Time-Triggered Architectures (LTTA) as a networked infrastructure for deploying discrete control. LTTA are distributed architectures in which 1/ ...
223
click to vote
DSD
2010
IEEE
15 years 7 months ago
2010
IEEE
— Real-time face recognition by computer systems is required in many commercial and security applications because it is the only way to protect privacy and security in the sea of...
206
click to vote
ICDE
2010
IEEE
16 years 7 months ago
2010
IEEE
Abstract-- This paper introduces a deterministic approximation algorithm with error guarantees for computing the probability of propositional formulas over discrete random variable...
152
click to vote
TIME
2005
IEEE
16 years 24 days ago
2005
IEEE
We exploit the fact that qualitative Interval Algebra (IA) network problems are finite domain CSPs. In the first part of the paper, we show how to convert a qualitative IA network ...
288
click to vote
ICDE
1999
IEEE
16 years 8 months ago
1999
IEEE
Most operations of the relational algebra or SQL require a sorted stream of tuples for efficient processing. Therefore, processing complex relational queries relies on efficient a...