Sciweavers

1664 search results - page 71 / 333
» Towards Partial Reasoning
Sort
View
FQAS
2006
Springer
109views Database» more  FQAS 2006»
14 years 5 days ago
Towards a Flexible Visualization Tool for Dealing with Temporal Data
Time plays an important role in our everyday's life. For a lot of observations we make and actions we perform, temporal information is relevant. The importance of time is refl...
Guy De Tré, Nico Van de Weghe, Rita M. M. D...
APPINF
2003
13 years 10 months ago
Towards Modelling an Intelligent Calendar Agent with LUPS
We present an application prototype of dynamic knowledge representation programmed in LUPS (a language for updating logic programs). This is a case study to model intelligent agen...
Juan Carlos Acosta Guadarrama, Mauricio Javier Oso...
ENTCS
2007
135views more  ENTCS 2007»
13 years 8 months ago
Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems
We introduce a hybrid variant of a dynamic logic with continuous state transitions along differential equations, and we present a sequent calculus for this extended hybrid dynami...
André Platzer
CVPR
2008
IEEE
14 years 10 months ago
Towards unsupervised whole-object segmentation: Combining automated matting with boundary detection
We propose a novel step toward the unsupervised segmentation of whole objects by combining "hints" of partial scene segmentation offered by multiple soft, binary mattes....
Andrew N. Stein, Thomas S. Stepleton, Martial Hebe...
IJCAI
2003
13 years 10 months ago
Taming Decentralized POMDPs: Towards Efficient Policy Computation for Multiagent Settings
The problem of deriving joint policies for a group of agents that maximize some joint reward function can be modeled as a decentralized partially observable Markov decision proces...
Ranjit Nair, Milind Tambe, Makoto Yokoo, David V. ...