2502 search results - page 230 / 501 » Using probabilistic model checking in systems biology |
147
click to vote
ATAL
2005
Springer
16 years 3 days ago
2005
Springer
This paper presents an agent strategy for complex bilateral negotiations over many issues with inter-dependent valuations. We use ideas inspired by graph theory and probabilistic ...
146
click to vote
ECIR
2010
Springer
15 years 8 months ago
2010
Springer
Current video search systems commonly return video shots as results. We believe that users may better relate to longer, semantic video units and propose a retrieval framework for n...
154
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
— This paper presents Pirrus, a replica management system that addresses the problem of providing data availability on a wireless sensor network. Pirrus uses probabilistic failur...
170
click to vote
ICMLA
2007
15 years 8 months ago
2007
In modern business, educational, and other settings, it is common to provide a digital network that interconnects hardware devices for shared access by the users (e.g., in an ofï¬...
199
click to vote
DEBU
2006
15 years 6 months ago
2006
Automated reasoning about human behavior is a central goal of artificial intelligence. In order to engage and intervene in a meaningful way, an intelligent system must be able to ...