4341 search results - page 744 / 869 » Quantitative Model checking |
184
click to vote
PEWASUN
2007
ACM
15 years 7 months ago
2007
ACM
Wireless Sensor Network (WSN) technology is now mature enough to be used in numerous application domains. However, due to the restricted amount of energy usually allocated to each...
171
click to vote
ENTCS
2006
15 years 6 months ago
2006
Latency insensitive protocols (LIPs) have been proposed as a viable means to connect synchronous IP blocks via long interconnects in a system-on-chip. The reason why one needs to ...
174
Voted
TCAD
2008
15 years 6 months ago
2008
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
178
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
Human motion tracking is an important problem in computer vision. Most prior approaches have concentrated on efficient inference algorithms and prior motion models; however, few c...
157
click to vote
QEST
2008
IEEE
16 years 18 days ago
2008
IEEE
We begin by observing that (discrete-time) QuasiBirth-Death Processes (QBDs) are equivalent, in a precise sense, to (discrete-time) probabilistic 1-Counter Automata (p1CAs), and b...