2905 search results - page 561 / 581 » Formal Memetic Algorithms |
CIKM
2004
Springer
14 years 29 days ago
2004
Springer
With the overwhelming volume of online news available today, there is an increasing need for automatic techniques to analyze and present news to the user in a meaningful and effi...
EUROCRYPT
2004
Springer
14 years 28 days ago
2004
Springer
Informally, an obfuscator O is an efficient, probabilistic “compiler” that transforms a program P into a new program O(P) with the same functionality as P, but such that O(P)...
IFM
2004
Springer
14 years 28 days ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
ICRA
2003
IEEE
14 years 25 days ago
2003
IEEE
— This paper presents a general approach to specify and execute complex robot tasks considering uncertain environments. Robot tasks are defined by a precise definition of socal...
KCAP
2003
ACM
14 years 24 days ago
2003
ACM
Our research aims at interactive document viewers that can select and highlight relevant text passages on demand. Another related objective is the generation of topic-specific su...