Sciweavers

1224 search results - page 207 / 245
» Theory decision by decomposition
Sort
View
84
Voted
ECBS
2004
IEEE
84views Hardware» more  ECBS 2004»
15 years 4 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
15 years 4 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-...
99
Voted
COLT
2006
Springer
15 years 4 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
15 years 2 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 ...
124
Voted
CSL
2008
Springer
15 years 2 months 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...