2488 search results - page 461 / 498 » An improvement in formal verification |
118
click to vote
HEURISTICS
2008
14 years 12 months ago
2008
Since their beginning in constraint programming, set solvers have been applied to a wide range of combinatorial search problems, such as bin-packing, set partitioning, circuit desi...
113
click to vote
ICRA
2010
IEEE
14 years 11 months ago
2010
IEEE
Multi-robot systems researchers have been investigating adaptive coordination methods for improving spatial coordination in teams. Such methods adapt the coordination method to th...
120
click to vote
INFOCOM
2010
IEEE
14 years 11 months ago
2010
IEEE
—Knowing accurate positions of nodes in wireless ad-hoc and sensor networks is essential for a wide range of pervasive and mobile applications. However, errors are inevitable in ...
INFSOF
2010
14 years 11 months ago
2010
Program analysis techniques are used by software engineers to deduce and infer characteristics of software systems. Recent research has suggested that certain program analysis tec...
117
click to vote
MICAI
2010
Springer
14 years 11 months ago
2010
Springer
We argue for that taking into account semantic relations between words in the text can improve information retrieval performance. We implemented the process of information retrieva...