2530 search results - page 312 / 506 » Dynamic topological logic |
128
click to vote
CIA
2003
Springer
15 years 10 months ago
2003
Springer
Abstract For an information-agent-based system to support virtual (Internet-supported) organisations, changes in environmental conditions often demand changes in organisational beh...
163
click to vote
HYBRID
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
158
click to vote
ICPR
2002
IEEE
15 years 9 months ago
2002
IEEE
Abstract Target detection and tracking is one of the most important and fundamental technologies to develop real world computer vision systems such as security and traffic monitori...
115
click to vote
ISPD
1999
ACM
15 years 9 months ago
1999
ACM
This paper presents a methodology to analyze signal integrity such as power voltage drop and clock skew in early stages of design, more specifically, when RTL-design and early flo...
142
click to vote
CSL
1997
Springer
15 years 8 months ago
1997
Springer
We present a complete axiomatization of test algebra ( 24, 18, 29]), the two-sorted algebraic variant of Propositional Dynamic Logic (PDL, 21, 7]). The axiomatization consists of ...