8337 search results - page 123 / 1668 » Reasoning With Characteristic Models |
172
click to vote
ATAL
2011
Springer
14 years 4 months ago
2011
Springer
The field of multiagent decision making is extending its tools from classical game theory by embracing reinforcement learning, statistical analysis, and opponent modeling. For ex...
144
click to vote
CVPR
2006
IEEE
15 years 10 months ago
2006
IEEE
Part-based tree-structured models have been widely used for 2D articulated human pose-estimation. These approaches admit efficient inference algorithms while capturing the import...
145
click to vote
AAAI
2007
15 years 6 months ago
2007
In this paper, we consider the problem of composing a set of web services, where the requirements are specified in terms of the input and output messages of the composite workfl...
104
click to vote
CONTEXT
2007
Springer
15 years 10 months ago
2007
Springer
We give a brief description of a system we are currently building that fulfils the promise of our title. This description also indicates why we are interested in the topic of cont...
236
click to vote
CONCUR
2011
Springer
14 years 4 months ago
2011
Springer
The problem of model checking threads interacting purely via the standard synchronization primitives is key for many concurrent program analyses, particularly dataflow analysis. U...