Sciweavers

13376 search results - page 526 / 2676
» Problem Solving with
Sort
View
CP
2000
Springer
15 years 10 months ago
Algebraic Simplification Techniques for Propositional Satisfiability
The ability to reduce either the number of variables or clauses in instances of the Satisfiability problem (SAT) impacts the expected computational effort of solving a given instan...
João P. Marques Silva
GECCO
2005
Springer
174views Optimization» more  GECCO 2005»
16 years 21 days ago
Diversity as a selection pressure in dynamic environments
Evolutionary algorithms (EAs) are widely used to deal with optimization problems in dynamic environments (DE) [3]. When using EAs to solve DE problems, we are usually interested i...
Lam Thu Bui, Jürgen Branke, Hussein A. Abbass
SIGCOMM
1995
ACM
15 years 10 months ago
Authentication Protocols for Personal Communication Systems
Masquerading and eavesdropping are major threats to the security of wireless communications. To provide proper protection for the communication of the wireless link, contents of t...
Hung-Yu Lin, Lein Harn
IEEEVAST
2010
15 years 2 months ago
A continuous analysis process between desktop and collaborative visual analytics environments
Since its inception, the field of visual analytics has undergone tremendous growth in understanding how to create interactive visual tools to solve analytical problems. However, w...
Dong Hyun Jeong, Evan A. Suma, Thomas Butkiewicz, ...
MICCAI
2005
Springer
16 years 8 months ago
Simultaneous Registration and Segmentation of Anatomical Structures from Brain MRI
In this paper, we present a novel variational formulation of the registration assisted image segmentation problem which leads to solving a coupled set of nonlinear PDEs that are so...
Fei Wang, Baba C. Vemuri