3047 search results - page 562 / 610 » A Temporal Consensus Model |
130
click to vote
SEKE
2010
Springer
14 years 11 months ago
2010
Springer
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...
157
click to vote
GLVLSI
2009
IEEE
14 years 11 months ago
2009
IEEE
To assist in dynamic assertion-based verification, we present a method to automatically build a test vector generator from a temporal property. Based on the duality between monito...
122
click to vote
ICC
2009
IEEE
14 years 11 months ago
2009
IEEE
Theoretical models of ultrawideband (UWB) radio channels indicate that pairs of UWB radio transceivers measure their common radio channel with a high degree of agreement and third ...
106
click to vote
ICCV
2009
IEEE
14 years 11 months ago
2009
IEEE
With the rise of photo-sharing websites such as Facebook and Flickr has come dramatic growth in the number of photographs online. Recent research in object recognition has used su...
147
click to vote
ICIP
2009
IEEE
14 years 11 months ago
2009
IEEE
Many computer vision algorithms such as object tracking and event detection assume that a background model of the scene under analysis is known. However, in many practical circums...