10870 search results - page 2024 / 2174 » Model Checking Programs |
135
click to vote
CLEF
2006
Springer
15 years 5 months ago
2006
Springer
This paper describes our participation in the GeoCLEF monolingual English task of the Cross Language Evaluation Forum 2006. The main objective of this study is to evaluate the retr...
112
click to vote
FGR
2004
IEEE
15 years 5 months ago
2004
IEEE
Inspired by the Defense Advanced Research Projects Agency's (DARPA) recent successes in speech recognition, we introduce a new task for sign language recognition research: a ...
120
click to vote
DCOSS
2006
Springer
15 years 5 months ago
2006
Springer
The scope of wireless sensor network (WSN) applications has traditionally been restricted by physical sensor coverage and limited computational power. Meanwhile, IP networks like t...
118
click to vote
DCOSS
2006
Springer
15 years 5 months ago
2006
Springer
We consider the problem of data propagation in wireless sensor networks and revisit the family of mixed strategy routing schemes. We show that maximizing the lifespan, balancing th...
154
click to vote
ECBS
2006
IEEE
15 years 5 months ago
2006
IEEE
Software product lines (PLs) are large, complex systems, demanding high maintainability and enhanced flexibility. Nonetheless, in the state of the art PL methods, features are sca...