1127 search results - page 112 / 226 » Theory Extension in ACL2(r) |
165
click to vote
APN
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. High-Level net models following the paradigm “nets as tokens” have been studied already in the literature with several interesting applications. In this paper we prop...
136
click to vote
GECCO
2005
Springer
15 years 12 months ago
2005
Springer
We sketch a framework for learning structured coordinated behavior, specifically the tactical behavior of Experimental Unmanned Vehicles (XUVs). We conceptualize an XUV unit as a ...
152
click to vote
ICDT
2005
ACM
15 years 12 months ago
2005
ACM
We study the problem of rewriting queries using views in the presence of access patterns, integrity constraints, disjunction, and negation. We provide asymptotically optimal algori...
175
click to vote
WAC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In this paper, we present and analyze a framework for selfevolving autonomic services in a wireless nomadic environment. We present a disconnected network architecture, w...
165
click to vote
COMPGEOM
2004
ACM
15 years 12 months ago
2004
ACM
The computation of Delaunay triangulations from static point sets has been extensively studied in computational geometry. When the points move with known trajectories, kinetic dat...