10602 search results - page 1821 / 2121 » Weakly Useful Sequences |
186
click to vote
SEW
2006
IEEE
2006
IEEE
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker
16 years 1 months ago
Although there exist several software model checkers that check the code against properties specified e.g. via a temporal logic and assertions, or just verifying low-level propert...
201
click to vote
ACCV
2006
Springer
16 years 1 months ago
2006
Springer
A novel video object segmentation method is proposed which aims at combining color and motion information. The model has a multilayer structure: Each feature has its own layer, cal...
182
Voted
SIGIR
2006
ACM
16 years 1 months ago
2006
ACM
We present a novel language modeling approach to capturing the query reformulation behavior of Web search users. Based on a framework that categorizes eight different types of “...
230
Voted
CVPR
2010
IEEE
16 years 1 months ago
2010
IEEE
Most existing approaches for learning action models work by extracting suitable low-level features and then training appropriate classifiers. Such approaches require large amount...
179
Voted
AICCSA
2005
IEEE
16 years 1 months ago
2005
IEEE
Data Stream Management Systems are being developed to process continuous queries over multiple data streams. These continuous queries are typically used for monitoring purposes wh...