4520 search results - page 49 / 904 » Algebraic Techniques for Timed Systems |
121
click to vote
ATVA
2006
Springer
15 years 5 months ago
2006
Springer
In the past decades, many formal frameworks (e.g. timed automata and temporal logics) and techniques (e.g. model checking and theorem proving) have been proposed to model a real-ti...
109
click to vote
SIGMOD
1996
ACM
15 years 6 months ago
1996
ACM
Magic sets rewriting is a well-known optimization heuristic for complex decision-support queries. There can be many variants of this rewriting even for a single query, which diffe...
145
click to vote
CASCON
1996
15 years 3 months ago
1996
Monitoring distributed systems involves the collection, analysis, and display of interactions among managed objects. These functions are carried out by the components of a monitor...
116
click to vote
ICCV
2009
IEEE
16 years 6 months ago
2009
IEEE
This paper proposes a new affine registration algorithm
for matching two point sets in IR2 or IR3. The input point
sets are represented as probability density functions, using
e...
129
click to vote
KCAP
2003
ACM
15 years 7 months ago
2003
ACM
While existing learning techniques can be viewed as inducing programs from examples, most research has focused on rather narrow classes of programs, e.g., decision trees or logic ...