5699 search results - page 833 / 1140 » Alternating model trees |
158
click to vote
FMCAD
2007
Springer
16 years 27 days ago
2007
Springer
—When model-checking reports that a property holds on a model, vacuity detection increases user confidence in this result by checking that the property is satisfied in the inte...
172
click to vote
ICRA
2006
IEEE
16 years 23 days ago
2006
IEEE
Robust motion recovery in tracking multiple targets using image features is affected by difficulties in obtaining good correspondences over long sequences. Difficulties are intr...
188
click to vote
SSDBM
2006
IEEE
16 years 22 days ago
2006
IEEE
With the recent progress of spatial information technologies and communication technologies, it has become easier to track positions of a large number of moving objects in real-ti...
158
click to vote
MSWIM
2006
ACM
16 years 21 days ago
2006
ACM
In this paper we present an efficient scheme for the multicast transmission of the data in the Universal Mobile Telecommunications System (UMTS). We take advantage of the tree top...
161
click to vote
BIRTHDAY
2005
Springer
16 years 8 days ago
2005
Springer
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...