Sciweavers

3885 search results - page 454 / 777
» Clarifying Goal Models
Sort
View
AMAI
2002
Springer
15 years 6 months ago
Probabilistic Argumentation Systems and Abduction
Probabilistic argumentation systems are based on assumption-based reasoning for obtaining arguments supporting hypotheses and on probability theory to compute probabilities of sup...
Jürg Kohlas, Dritan Berzati, Rolf Haenni
AROBOTS
2002
121views more  AROBOTS 2002»
15 years 6 months ago
Theory of Mind for a Humanoid Robot
If we are to build human-like robots that can interact naturally with people, our robots must know not only about the properties of objects but also the properties of animate agent...
Brian Scassellati
173
Voted
BSL
2004
100views more  BSL 2004»
15 years 6 months ago
Forcing in proof theory
Paul Cohen's method of forcing, together with Saul Kripke's related semantics for modal and intuitionistic logic, has had profound effects on a number of branches of mat...
Jeremy Avigad
CORR
2004
Springer
86views Education» more  CORR 2004»
15 years 6 months ago
Pandora : une plate-forme efficace pour la construction d'applications autonomes
Autonomic computing has been proposed recently as a way to address the difficult management of applications whose complexity is constantly increasing. Autonomous applications will ...
Simon Patarin, Mesaac Makpangou
CACM
2000
121views more  CACM 2000»
15 years 6 months ago
A broader approach to personalization
data model provides an abstract, conceptual framework; a concrete syntax is also required and XML is used for this purpose. The XML namespace mechanism serves to identify RDF Schem...
Ibrahim Cingil, Asuman Dogac, Ayca Azgin