4341 search results - page 594 / 869 » Quantitative Model checking |
169
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
What does a blind entity need in order to determine the geometry of the set of photocells that it carries through a changing lightfield? In this paper, we show that very crude know...
185
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
We propose the first systematic, sensor-centric approach for quantitative design of sensor network appliances. We demonstrate its use by designing light appliance devices and the ...
198
click to vote
MICCAI
2005
Springer
16 years 7 months ago
2005
Springer
We present an automated algorithm for tissue segmentation of noisy, low contrast magnetic resonance (MR) images of the brain. We use a mixture model composed of a large number of G...
173
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
We discuss the problem of assessing and aiding user performance in dynamic tasks that require rapid selection among multiple information sources. Motivated by research in human se...
150
click to vote
VLSID
2008
IEEE
16 years 7 months ago
2008
IEEE
Negative Bias Temperature Instability (NBTI) has been identified as a major and critical reliability issue for PMOS devices in nano-scale designs. It manifests as a negative thres...