1943 search results - page 205 / 389 » Ordering Default Theories |
201
click to vote
GECCO
2005
Springer
16 years 18 days ago
2005
Springer
An experimental form of Modulation (Reinterpretation) of the Search Space is presented. This modulation is developed as a mathematical method that can be implemented directly into...
206
click to vote
COMPGEOM
2004
ACM
16 years 18 days ago
2004
ACM
We consider the problem of approximate range counting over streams of d-dimensional points. In the data stream model, the algorithm makes a single scan of the data, which is prese...
171
click to vote
ECAI
2004
Springer
16 years 16 days ago
2004
Springer
A critical aspect of an agent system is the ability to deal with unexpected situations to determine an appropriate course of action in a changing environment. In this paper, we inv...
185
click to vote
FOIKS
2004
Springer
16 years 16 days ago
2004
Springer
We introduce a simple and practically efficient method for repairing inconsistent databases. The idea is to properly represent the underlying problem, and then use off-the-shelf a...
210
click to vote
HYBRID
2004
Springer
16 years 16 days ago
2004
Springer
Abstract. An invariant of a system is a predicate that holds for every reachable state. In this paper, we present techniques to generate invariants for hybrid systems. This is achi...