Sciweavers

372 search results - page 67 / 75
» Qualitative Reasoning
Sort
View
FMCAD
2007
Springer
14 years 2 months ago
Global Optimization of Compositional Systems
—Embedded systems typically consist of a composition of a set of hardware and software IP modules. Each module is heavily optimized by itself. However, when these modules are com...
Fadi A. Zaraket, John Pape, Adnan Aziz, Margarida ...
TARK
2007
Springer
14 years 1 months ago
From conditional probability to the logic of doxastic actions
We investigate the discrete (finite) case of the Popper-Renyi theory of conditional probability, introducing discrete conditional probabilistic models for (multi-agent) knowledge...
Alexandru Baltag, Sonja Smets
ATAL
2004
Springer
14 years 1 months ago
Universality in Multi-Agent Systems
Much research in multi-agent systems reflects the field’s origins in classical artificial intelligence, showing how various refinements to the internal reasoning of individual a...
H. Van Dyke Parunak, Sven Brueckner, Robert Savit
XPU
2004
Springer
14 years 1 months ago
Self-Adaptability of Agile Software Processes: A Case Study on Post-iteration Workshops
None of the agile methods are claimed to fit all development situations. A team should attempt to adapt the methods and practices to fit their specific needs. For that reason agile...
Outi Salo, Kari Kolehmainen, Pekka Kyllönen, ...
ECCV
2010
Springer
13 years 11 months ago
Exploiting Repetitive Object Patterns for Model Compression and Completion
Many man-made and natural structures consist of similar elements arranged in regular patterns. In this paper we present an unsupervised approach for discovering and reasoning on re...