12981 search results - page 2219 / 2597 » Model Checking (Abstract) |
128
click to vote
PSIVT
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Most previous methods for generic object recognition explicitly or implicitly assume that an image contains objects from a single category, although objects from multiple...
134
click to vote
PVM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Most parallel systems on which MPI is used are now hierarchical: some processors are much closer to others in terms of interconnect performance. One of the most common su...
124
Voted
SAGT
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper studies a setting where a principal needs to motivate teams of agents whose efforts lead to an outcome that stochastically depends on the combination of agent...
134
click to vote
SARA
2009
Springer
15 years 11 months ago
2009
Springer
Perfect recall is the common and natural assumption that an agent never forgets. As a consequence, the agent can always condition its choice of action on any prior observations. I...
167
click to vote
SCALESPACE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Measurements in nanoscopic imaging suffer from blurring effects concerning different point spread functions (PSF). Some apparatus even have PSFs that are locally depend...