2468 search results - page 441 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
150
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
When human-multiagent teams act in real-time uncertain domains, adjustable autonomy (dynamic transferring of decisions between human and agents) raises three key challenges. First...
134
click to vote
IVC
2006
15 years 3 months ago
2006
The distribution of the apparent 3D shape of human faces across the view-sphere is complex, owing to factors such as variations in identity, facial expression, minor occlusions an...
131
click to vote
TMI
2008
15 years 2 months ago
2008
A method is presented for the analysis of dynamic positron emission tomography (PET) data using sparse Bayesian learning. Parameters are estimated in a compartmental framework usin...
127
click to vote
ASPDAC
2006
ACM
15 years 7 months ago
2006
ACM
Thermal effects are becoming increasingly important during integrated circuit design. Thermal characteristics influence reliability, power consumption, cooling costs, and performan...
123
Voted
SOSP
2003
ACM
16 years 5 days ago
2003
ACM
This paper presents Capriccio, a scalable thread package for use with high-concurrency servers. While recent work has advocated event-based systems, we believe that threadbased sy...