Sciweavers

8398 search results - page 1618 / 1680
» Optimal Software Testing
Sort
View
CAEPIA
2005
Springer
14 years 3 months ago
Mapping Conformant Planning into SAT Through Compilation and Projection
Conformant planning is a variation of classical AI planning where the initial state is partially known and actions can have nondeterministic eļ¬€ects. While a classical plan must a...
Héctor Palacios, Hector Geffner
CCS
2005
ACM
14 years 3 months ago
CPOL: high-performance policy evaluation
Policy enforcement is an integral part of many applications. Policies are often used to control access to sensitive information. Current policy specification languages give users ...
Kevin Borders, Xin Zhao, Atul Prakash
CEEMAS
2005
Springer
14 years 3 months ago
The "Dance or Work" Problem: Why Do not all Honeybees Dance with Maximum Intensity
A honeybee colony has to choose among several nectar sources in the environment, each fluctuating in quality over time. Successful forager bees return to the hive and perform dance...
Ronald Thenius, Thomas Schmickl, Karl Crailsheim
ERCIMDL
2005
Springer
109views Education» more  ERCIMDL 2005»
14 years 3 months ago
MedioVis - A User-Centred Library Metadata Browser
MedioVis is a visual information seeking system which was designed especially for library data. The objective target was to create a system which simplifies and optimizes the userā...
Christian Grün, Jens Gerken, Hans-Christian J...
GECCO
2005
Springer
140views Optimization» more  GECCO 2005»
14 years 3 months ago
Intransitivity revisited coevolutionary dynamics of numbers games
Relative ļ¬tness, or ā€œevaluation by testsā€ is one of the building blocks of coevolution: the only ļ¬tness information available is a comparison with other individuals in a p...
Pablo Funes, Enrique Pujals
« Prev « First page 1618 / 1680 Last » Next »