7820 search results - page 188 / 1564 » Formalization of Time and Space |
211
Voted
STOC
1989
ACM
15 years 11 months ago
1989
ACM
We present a randomised polynomial time algorithm for approximating the volume of a convex body K in n-dimensional Euclidean space. The proof of correctness of the algorithm relie...
162
click to vote
AAAI
2010
15 years 8 months ago
2010
Planning as satisfiability is a principal approach to planning with many eminent advantages. The existing planning as satisfiability techniques usually use encodings compiled from...
168
click to vote
ICPR
2010
IEEE
15 years 11 months ago
2010
IEEE
We propose a new circularity measure inspired from Arkin [1], Latecki [9] tools of shape matching that is constructed in a tangent space. We then introduce a linear algorithm that...
161
click to vote
IJBC
2010
15 years 4 months ago
2010
We study returns in dynamical systems: when a set of points, initially populating a prescribed region, swarms around phase space according to a deterministic rule of motion, we sa...
194
click to vote
RTAS
2007
IEEE
16 years 1 months ago
2007
IEEE
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...