2905 search results - page 180 / 581 » Formal Memetic Algorithms |
173
click to vote
ATAL
2005
Springer
16 years 16 days ago
2005
Springer
In distributed scenarios the robustness of a reputation mechanism depends on the data available for computation. Especially in ad-hoc networks the amount of available data is rest...
217
click to vote
EPIA
2005
Springer
16 years 16 days ago
2005
Springer
We are interested in the challenging scientific pursuit of how to characterize human activities in any formal meeting situation by tracking people’s positions with a computer vi...
156
click to vote
SIGCSE
2004
ACM
16 years 13 days ago
2004
ACM
We describe the instructional software JFLAP 4.0 and how it can be used to provide a hands-on formal languages and automata theory course. JFLAP 4.0 doubles the number of chapters...
209
Voted
LPAR
2004
Springer
16 years 11 days ago
2004
Springer
DPLL and DPLL Modulo Theories Robert Nieuwenhuis , Albert Oliveras , and Cesare Tinelli We introduce Abstract DPLL, a general and simple abstract rule-based formulation of the Davi...
188
Voted
SAS
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. In this paper we present a scalable pointer analysis for embedded applications that is able to distinguish between instances of recursively defined data structures and e...