9359 search results - page 415 / 1872 » Generalization Algorithms for Second-Order Terms |
182
click to vote
TLDI
2005
ACM
16 years 8 days ago
2005
ACM
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...
177
click to vote
ATAL
2005
Springer
16 years 8 days ago
2005
Springer
Traditionally, top-down and bottom-up design approaches have competed with each other in Algorithmics and Software Engineering. In the top-down approach, design process starts wit...
156
click to vote
ATAL
2005
Springer
16 years 8 days ago
2005
Springer
This paper introduces a multi-robot cooperation approach to solve the pursuit evasion problem for mobile robots that have omnidirectional vision sensors in unknown environments. T...
167
click to vote
CLEF
2005
Springer
16 years 7 days ago
2005
Springer
This paper reports on our participation in CLEF 2005‘s ad-hoc multi-lingual retrieval track. The ad-hoc task introduced Bulgarian and Hungarian as new languages. Our experiments...
169
click to vote
GECCO
2005
Springer
16 years 7 days ago
2005
Springer
We propose a selection scheme called Fitness-based Neighbor Selection (FNS) for multimodal optimization. The FNS is aimed for ill-scaled and locally multimodal domain, both found ...