Sciweavers

1224 search results - page 207 / 245
» Theory decision by decomposition
Sort
View
ECBS
2004
IEEE
84views Hardware» more  ECBS 2004»
14 years 2 months ago
A Methodology for Requirements Engineering Process Development
Adoption of the most suitable Requirements Engineering (RE) process and selection of the most appropriate RE techniques for a given project is a common challenge faced by industry...
Li Jiang, Armin Eberlein, Behrouz Homayoun Far
ENC
2004
IEEE
14 years 2 months ago
Distributed Learning in Intentional BDI Multi-Agent Systems
Despite the relevance of the belief-desire-intention (BDI) model of rational agency, little work has been done to deal with its two main limitations: the lack of learning competen...
Alejandro Guerra-Hernández, Amal El Fallah-...
COLT
2006
Springer
14 years 2 months ago
DNF Are Teachable in the Average Case
We study the average number of well-chosen labeled examples that are required for a helpful teacher to uniquely specify a target function within a concept class. This "average...
Homin K. Lee, Rocco A. Servedio, Andrew Wan
ATAL
2008
Springer
14 years 1 months ago
Robust normative systems
Although normative systems, or social laws, have proved to be a highly influential approach to coordination in multi-agent systems, the issue of compliance to such normative syste...
Thomas Ågotnes, Wiebe van der Hoek, Michael ...
CSL
2008
Springer
14 years 23 days ago
Quantitative Languages
Quantitative generalizations of classical languages, which assign to each word a real number instead of a boolean value, have applications in modeling resource-constrained computat...
Krishnendu Chatterjee, Laurent Doyen, Thomas A. He...