3690 search results - page 460 / 738 » Computation with classical sequents |
150
click to vote
ECSQARU
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. The problem of merging multiple sources information is central in several domains of computer science. In knowledge representation for artificial intelligence, several a...
166
click to vote
ESOP
2007
Springer
16 years 27 days ago
2007
Springer
We give a new practical algorithm to compute, in finite time, a fixpoint (and often the least fixpoint) of a system of equations in the abstract numerical domains of zones and t...
208
click to vote
HUC
2007
Springer
16 years 27 days ago
2007
Springer
We describe a novel method for symbolic location discovery of simple objects. The method requires no infrastructure and relies on simple sensors routinely used in sensor nodes and ...
179
click to vote
MIRAGE
2007
Springer
16 years 26 days ago
2007
Springer
Human motion analysis has received a great attention from researchers in the last decade due to its potential use in different applications. We propose a new approach to extract h...
183
click to vote
NETCOOP
2007
Springer
16 years 26 days ago
2007
Springer
In this paper we study a pursuit problem in the context of a wireless sensor network, where the pursuer (i.e., mobile sink) trying to capture a pursuee (i.e., tracked object), movi...