Sciweavers

11436 search results - page 191 / 2288
» Modeling Real Reasoning
Sort
View
CORR
2004
Springer
111views Education» more  CORR 2004»
15 years 3 months ago
FLUX: A Logic Programming Method for Reasoning Agents
FLUX is a programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledge. The core of FLUX is...
Michael Thielscher
IS4TH
2003
Springer
15 years 8 months ago
Deformable Tissue Parameterized by Properties of Real Biological Tissue
Realistic mechanical models of biological soft tissues are a key issue to allow the implementation of reliable systems to aid on orthopedic diagnosis and surgery planning. We are w...
Anderson Maciel, Ronan Boulic, Daniel Thalmann
JAIR
2007
87views more  JAIR 2007»
15 years 3 months ago
Supporting Temporal Reasoning by Mapping Calendar Expressions to Minimal Periodic Sets
In the recent years several research efforts have focused on the concept of time granularity and its applications. A first stream of research investigated the mathematical model...
Claudio Bettini, Sergio Mascetti, Xiaoyang Sean Wa...
ISVC
2005
Springer
15 years 8 months ago
Tool for Storm Analysis Using Multiple Data Sets
This note describes a web-based tool for storm analysis using multiple data sets developed for use in research of thunderstorms and forecasting applications. The tool was developed...
Robert M. Rabin, Tom Whittaker
RE
2001
Springer
15 years 7 months ago
Goal-Oriented Requirements Engineering: A Guided Tour
pture, at different levels of abstraction, the various objectives the system under consideration should achieve. Goal-oriented requirements engineering is concerned with the use o...
Axel van Lamsweerde