819 search results - page 61 / 164 » Using Assumptions to Distribute CTL Model Checking |
122
Voted
ICCV
2011
IEEE
14 years 19 days ago
2011
IEEE
We present a method whereby an embodied agent using visual perception can efficiently create a model of a local indoor environment from its experience of moving within it. Our me...
75
Voted
ATAL
2005
Springer
15 years 6 months 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 ...
116
click to vote
ICPP
2002
IEEE
15 years 5 months ago
2002
IEEE
A software cache implements instruction and data caching entirely in software. Dynamic binary rewriting offers a means to specialize the software cache miss checks at cache miss t...
117
click to vote
DSRT
2003
IEEE
15 years 5 months ago
2003
IEEE
Continued research into distributed agent-based systems and evolving web based technologies are opening up tremendous possibilities for the deployment of large scale and highly ex...
111
click to vote
ECML
2007
Springer
15 years 6 months ago
2007
Springer
We present a framework for efficient, accurate approximate Bayesian inference in generalized linear models (GLMs), based on the expectation propagation (EP) technique. The paramete...