Sciweavers

2253 search results - page 175 / 451
» The ComFoRT Reasoning Framework
Sort
View
86
Voted
ICIP
1998
IEEE
15 years 3 months ago
A Statistical Method for Discrimination of Natural Terrain Types from SAR Data
In this paper we propose a method for discrimination of underlying textural structures from spotlight-mode synthetic aperture radar (SAR) returns by using a tomographic data acqui...
Müjdat Çetin, William Clement Karl
HYBRID
1998
Springer
15 years 3 months ago
Hybrid cc with Interval Constraints
Abstract. Hybrid cc is a constraint programming language suitable for modeling, controlling and simulating hybrid systems, i.e. systems with continuous and discrete state changes. ...
Björn Carlson, Vineet Gupta
73
Voted
KI
1997
Springer
15 years 3 months ago
Agents in Proactive Environments
Abstract. Agents situated in proactive environments are acting autonomously while the environment is evolving alongside, whether or not the agents carry out any particular actions....
Dov M. Gabbay, Rolf Nossum, Michael Thielscher
ICAIL
2007
ACM
15 years 3 months ago
Argumentation and standards of proof
In this paper we examine some previous AI and Law attempts to characterise standards of proof, and relate these to the notions of acceptability found in argumentation frameworks, ...
Katie Atkinson, Trevor J. M. Bench-Capon
EUROSSC
2006
Springer
15 years 2 months ago
Dynamic Bayesian Networks for Visual Surveillance with Distributed Cameras
Abstract. This paper presents a surveillance system for tracking multiple people through a wide area with sparsely distributed cameras. The computational core of the system is an a...
Wojciech Zajdel, Ali Taylan Cemgil, Ben J. A. Kr&o...