4520 search results - page 45 / 904 » Algebraic Techniques for Timed Systems |
180
click to vote
CMG
1996
15 years 7 months ago
1996
Consider yourself faced with learning about a new system. You have lots of measurements available, but you really don't know which measurements affect the values of others. H...
166
click to vote
SAMOS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract—Geometric Algebra (GA), a generalization of quaternions, is a very powerful form for intuitively expressing and manipulating complex geometric relationships common to en...
148
click to vote
RTA
2005
Springer
15 years 11 months ago
2005
Springer
Proofs of equalities may be built from assumptions using proof rules for reflexivity, symmetry, and transitivity. Reflexivity is an axiom proving x=x for any x; symmetry is a 1-p...
169
click to vote
JDA
2006
15 years 6 months ago
2006
In this paper, we survey fully dynamic algorithms for path problems on general directed graphs. In particular, we consider two fundamental problems: dynamic transitive closure and...
173
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
Boolean Algebra with Presburger Arithmetic (BAPA) is a decidable logic that combines 1) Boolean algebra of sets of uninterpreted elements (BA) and 2) Presburger arithmetic (PA). BA...