1456 search results - page 119 / 292 » Two Techniques to Improve Finite Model Search |
ICDM
2006
IEEE
14 years 2 months ago
2006
IEEE
Ordered lists of objects are widely used as representational forms. Such ordered objects include Web search results and best-seller lists. Techniques for processing such ordinal d...
PPOPP
2005
ACM
14 years 1 months ago
2005
ACM
Dataraces in multithreaded programs often indicate severe bugs and can cause unexpected behaviors when different thread interleavings are executed. Because dataraces are a cause f...
WACV
2005
IEEE
14 years 1 months ago
2005
IEEE
A number of recent systems for unsupervised featurebased learning of object models take advantage of cooccurrence: broadly, they search for clusters of discriminative features tha...
ICRE
1998
IEEE
14 years 8 days ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
ICMCS
2000
IEEE
13 years 11 months ago
2000
IEEE
Video classi cation and segmentation are fundamental steps for e cient accessing, retrieving and browsing large amount of video data. We have developed a scene classi cationscheme...