334 search results - page 20 / 67 » Standardization in action |
MLDM
2009
Springer
15 years 2 months ago
2009
Springer
The induction of knowledge from a data set relies in the execution of multiple data mining actions: to apply filters to clean and select the data, to train different algorithms (...
ATAL
2010
Springer
14 years 11 months ago
2010
Springer
In typical multiagent teamwork settings, the teammates are either programmed together, or are otherwise provided with standard communication languages and coordination protocols. ...
ASE
2004
14 years 9 months ago
2004
The verification of concurrent systems through an exhaustive traversal of the state space suffers from the infamous state-space-explosion problem, caused by the many interleavings ...
147
click to vote
AIPS
2011
14 years 1 months ago
2011
We define a probe to be a single action sequence computed greedily from a given state that either terminates in the goal or fails. We show that by designing these probes carefull...
CEEMAS
2003
Springer
15 years 3 months ago
2003
Springer
We introduce a formal language for multi-agent systems based on new modal operators. The modal operators express concurrency at the syntactic level. Operators containing quantifie...