895 search results - page 86 / 179 » A Spectrum of Applications of Automated Reasoning |
116
click to vote
LICS
2012
IEEE
13 years 12 days ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
157
click to vote
ICDE
2006
IEEE
15 years 11 months ago
2006
IEEE
In order to support continuous queries over data streams, a plethora of suitable techniques as well as prototypes have been developed and evaluated in recent years. In particular,...
133
click to vote
GIS
2008
ACM
15 years 11 months ago
2008
ACM
This paper presents a case study on the application of data mining to the problem of detecting ecosystem disturbances from vegetation cover data obtained from satellite observatio...
174
click to vote
GIS
2009
ACM
15 years 11 months ago
2009
ACM
A parallel version of the plane sweep algorithm targeted towards the small number of processing cores available on commonly available multi-core systems is presented. Experimental...
179
click to vote
ICLP
2009
Springer
15 years 10 months ago
2009
Springer
We study finding similar or diverse solutions of a given computational problem, in answer set programming, and introduce offline methods and online methods to compute them using an...