4131 search results - page 58 / 827 » Compactness in Topology and Computation |
156
click to vote
CCCG
2010
15 years 7 months ago
2010
A zone diagram is a relatively new concept which has emerged in computational geometry and is related to Voronoi diagrams. Formally, it is a fixed point of a certain mapping, and ...
112
click to vote
COR
2008
15 years 6 months ago
2008
We propose a model for the design of protected habitat reserves, which maximizes the number of species represented at least once in a limited set of reserved sites or parcels. Mos...
137
click to vote
TEC
2008
15 years 6 months ago
2008
Recent research on compact genetic algorithms (cGAs) has proposed a number of evolutionary search methods with reduced memory requirements. In cGAs, the evolution of populations is...
141
click to vote
SIAMADS
2010
15 years 27 days ago
2010
We study the extent to which properties of infinite-dimensional dynamical systems can be accurately detected by examining observations of such systems. Let H be a separable Hilbert...
145
click to vote
SAT
2009
Springer
16 years 20 days ago
2009
Springer
Different quantifier types in Quantified Boolean Formulae (QBF) introduce variable dependencies which have to be taken into consideration when deciding satisfiability of a QBF....