Sciweavers

2666 search results - page 356 / 534
» Computing with Evolving Proteins
Sort
View
DISOPT
2008
88views more  DISOPT 2008»
14 years 10 months ago
New updating criteria for conflict-based branching heuristics in DPLL algorithms for satisfiability
The paper is concerned with the computational evaluation and comparison of a new family of conflict-based branching heuristics for evolved DPLL Satisfiability solvers. Such a fami...
Renato Bruni, Andrea Santori
DSS
2007
65views more  DSS 2007»
14 years 10 months ago
Using Web Services for supporting the users of wireless devices
The Web Service paradigm is currently considered as the most promising and rapidly evolving technology for developing applications in open, distributed and heterogeneous environme...
Thomi Pilioura, Stathes Hadjiefthymiades, Aphrodit...
JMM2
2006
80views more  JMM2 2006»
14 years 10 months ago
Implementing Holistic Dimensions for a Facial Composite System
Facial composites are pictures of human faces. These are normally constructed by victims and witnesses of crime who describe a suspect's face and then select individual facial...
Charlie D. Frowd, Vicki Bruce, Alex H. McIntyre, D...
KES
2006
Springer
14 years 10 months ago
Symbiotic Sensor Networks in Complex Underwater Terrains: A Simulation Framework
Abstract. This paper presents a new multi-agent physics-based simulation framework (DISCOVERY), supporting experiments with self-organizing underwater sensor and actuator networks....
Vadim Gerasimov, Gerry Healy, Mikhail Prokopenko, ...
PRL
2008
126views more  PRL 2008»
14 years 10 months ago
Fourier-based geometric shape prior for snakes
A novel method of snakes with shape prior is presented in this paper. We propose to add a new force which makes the curve evolve to particular shape corresponding to a template to...
Mohamed Ali Charmi, Stéphane Derrode, Faouz...