3229 search results - page 535 / 646 » The Theory of Timed Automata |
160
click to vote
JEI
2007
15 years 5 months ago
2007
This paper presents an efficient technique for linking edge points in order to generate a closed-contour representation. It is based on the consecutive use of global and local sch...
177
click to vote
CG
2005
Springer
15 years 5 months ago
2005
Springer
A new algorithm for Boolean operations on general planar polygons is presented. It is available for general planar polygons (manifold or non-manifold, with or without holes). Edge...
168
click to vote
JNCA
2007
15 years 5 months ago
2007
Cooperation and autonomy are two antagonistic core variables of agent-based systems, and a key challenge in designing such systems is to balance these variables appropriately. Thi...
146
click to vote
TSP
2008
15 years 5 months ago
2008
Abstract--Digital processing techniques are based on representing a continuous-time signal by a discrete set of samples. This paper treats the problem of reconstructing a periodic ...
205
click to vote
AI
2004
Springer
15 years 5 months ago
2004
Springer
We propose a new translation from normal logic programs with constraints under the answer set semantics to propositional logic. Given a normal logic program, we show that by addin...