1655 search results - page 131 / 331 » State, Event, Time and Diagram in System Modeling |
183
click to vote
ECCV
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Compressive sensing (CS) is a new approach for the acquisition and recovery of sparse signals and images that enables sampling rates significantly below the classical Ny...
173
click to vote
PADS
1999
ACM
15 years 10 months ago
1999
ACM
In an attempt to cope with time-varying workload, traditional adaptive Time Warp protocols are designed to react in response to performance changes by altering control parameter c...
186
click to vote
LOPSTR
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. We present a method based on logic program transformation, for verifying Computation Tree Logic (CTL∗ ) properties of finite state reactive systems. The finite state ...
166
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract— Most unmanned aerial robots use a Global Navigation Satellite System (GNSS), such as GPS, GLONASS, and Galileo, for their navigation. However, from time to time the GNS...
155
click to vote
FSTTCS
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which...