1786 search results - page 251 / 358 » Domain Independent Generative Modeling |
199
Voted
FASE
2011
Springer
14 years 6 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
128
Voted
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
Decentralized Markov Decision Processes (DEC-MDPs) are a popular model of agent-coordination problems in domains with uncertainty and time constraints but very difficult to solve...
125
click to vote
JAIR
2006
15 years 2 months ago
2006
This paper studies bilateral multi-issue negotiation between self-interested autonomous agents. Now, there are a number of different procedures that can be used for this process; ...
149
Voted
ESCIENCE
2006
IEEE
15 years 6 months ago
2006
IEEE
We view scientific workflows as the domain scientist's way to harness cyberinfrastructure for e-Science. Domain scientists are often interested in "end-to-end" fram...
133
Voted
AI
2010
Springer
15 years 26 days ago
2010
Springer
Computer systems increasingly carry out tasks in mixed networks, that is in group settings in which they interact both with other computer systems and with people. Participants in...