Sciweavers

7991 search results - page 540 / 1599
» Using More Reasoning to Improve
Sort
View
ECSQARU
2005
Springer
16 years 21 days ago
Contextual Discounting of Belief Functions
The Transferable Belief Model is a general framework for managing imprecise and uncertain information using belief functions. In this framework, the discounting operation allows to...
David Mercier, Benjamin Quost, Thierry Denoeux
FASE
2005
Springer
16 years 21 days ago
Modelling Parametric Contracts and the State Space of Composite Components by Graph Grammars
Modeling the dependencies between provided and required services within a software component is necessary for several reasons, such as automated component adaptation and architectu...
Ralf Reussner, Jens Happe, Annegret Habel
AISC
2010
Springer
15 years 12 months ago
Symbolic Domain Decomposition
Decomposing the domain of a function into parts has many uses in mathematics. A domain may naturally be a union of pieces, a function may be defined by cases, or different bounda...
Jacques Carette, Alan P. Sexton, Volker Sorge, Ste...
RE
2001
Springer
15 years 11 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
ECAI
1998
Springer
15 years 11 months ago
Transparent, Flexible, and Resource-adaptive Image Processing for Autonomous Service Robots
This paper describes SRIPPs, structured reactive image processing plans, that are tailored for the needs of autonomous service robots. SRIPPs are implemented on top of a modular, d...
Michael Beetz, Tom Arbuckle, Armin B. Cremers, M. ...