1350 search results - page 102 / 270 » Reasoning about Staged Computation |
146
click to vote
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
Reputation in P2P networks is an important tool to encourage cooperation among peers. It is based on ranking of peers according to their past behaviour. In large-scale real world ...
183
click to vote
AI
2010
Springer
15 years 5 months ago
2010
Springer
How can an intelligent agent update her knowledge base about an action domain, relative to some conditions (possibly obtained from earlier observations)? We study this question in...
139
click to vote
ACL
2010
15 years 3 months ago
2010
Statistical translation models that try to capture the recursive structure of language have been widely adopted over the last few years. These models make use of varying amounts o...
222
Voted
CVPR
2009
IEEE
17 years 16 days ago
2009
IEEE
In many social settings, images of groups of people are captured. The structure of this group provides meaningful context for reasoning about individuals in the group, and about th...
178
click to vote
EMSOFT
2009
Springer
16 years 7 hour ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...