3047 search results - page 490 / 610 » On the Meaning of Logical Completeness |
ATAL
2008
Springer
14 years 12 months ago
2008
Springer
In the literature on agent systems, the proactive behavior of agents is often modeled in terms of goals that the agents pursue. We review a number of commonly-used existing goal t...
IPMU
2010
Springer
14 years 12 months ago
2010
Springer
The classification of remote sensing images performed with different classifiers usually produces different results. The aim of this paper is to investigate whether the outputs of ...
ISSTA
2010
ACM
14 years 12 months ago
2010
ACM
This paper presents a new technique, called Symbolic Program Decomposition (or SPD), for symbolic execution of multiple paths that is more scalable than existing techniques, which...
121
click to vote
DEBS
2008
ACM
14 years 11 months ago
2008
ACM
Complex Event Processing is an important technology for information systems with a broad application space ranging from supply chain management, systems monitoring, and stock mark...
100
click to vote
FORTE
2010
14 years 11 months ago
2010
Wireless sensor networks are typically ad-hoc networks of resource-constrained nodes; in particular, the nodes are limited in power resources. It can be difficult and costly to rep...