1064 search results - page 63 / 213 » Disjoint Systems (Extended Abstract) |
ECAI
2000
Springer
14 years 4 hour ago
2000
Springer
Abstract. We describe an approach for compiling dynamic preferences into logic programs under the answer set semantics. An ordered logic program is an extended logic program in whi...
BIOADIT
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. In mobile ad-hoc networks, nodes act both as terminals and information relays, and participate in a common routing protocol, such as Dynamic Source Routing (DSR). The net...
CDC
2009
IEEE
13 years 11 months ago
2009
IEEE
Abstract-- This paper studies the stabilizability of an ndimensional quantized feedforward nonlinear system. The state of that system is first quantized into a finite number of bit...
WMCSA
2003
IEEE
14 years 28 days ago
2003
IEEE
Today car-navigation systems are increasingly penetrating the automotive market. However, the need for location-based information systems is no longer limited to cars. Mobile outd...
JCP
2007
13 years 7 months ago
2007
Abstract— As the technologies of autonomic computing become more prevalent, it is essential to develop methodologies for testing their dynamic self-management operations. Self-ma...