Sciweavers

3497 search results - page 317 / 700
» Making Distributed Applications Robust
Sort
View
SBIA
2000
Springer
15 years 10 months ago
Applying the ARTIS Agent Architecture to Mobile Robot Control
Abstract. The agent/multi-agent system paradigm is an important field of Artificial Intelligence. The use of this paradigm in real-world problems is one of the main lines of intere...
José Soler, Vicente Julián, Carlos C...
ICIP
2010
IEEE
15 years 4 months ago
Total subset variation prior
We propose total subset variation (TSV), a convexity preserving generalization of the total variation (TV) prior, for higher order clique MRF. A proposed differentiable approximat...
Sanjeev Kumar, Truong Q. Nguyen
VLDB
2004
ACM
129views Database» more  VLDB 2004»
16 years 2 days ago
Detecting Change in Data Streams
Detecting changes in a data stream is an important area of research with many applications. In this paper, we present a novel method for the detection and estimation of change. In...
Daniel Kifer, Shai Ben-David, Johannes Gehrke
KI
2001
Springer
15 years 11 months ago
Experiments with an Agent-Oriented Reasoning System
Abstract. This paper discusses experiments with an agent oriented approach to automated and interactive reasoning. The approach combines ideas from two subfields of AI (theorem pr...
Christoph Benzmüller, Mateja Jamnik, Manfred ...
CADE
2000
Springer
15 years 11 months ago
An Infrastructure for Intertheory Reasoning
Abstract. The little theories method, in which mathematical reasoning is distributed across a network of theories, is a powerful technique for describing and analyzing complex syst...
William M. Farmer