4341 search results - page 318 / 869 » Quantitative Model checking |
141
click to vote
ICIP
2007
IEEE
16 years 1 months ago
2007
IEEE
The expression levels of rod opsin and glial fibrillary acidic protein (GFAP) capture important structural changes in the retina during injury and recovery. Quantitatively measur...
187
click to vote
IWSM
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Non-functional requirements (NFRs) of software systems are an important source of uncertainty in effort estimation. Furthermore, quantitatively approaching NFR early in a...
188
click to vote
AIPR
2005
IEEE
16 years 10 days ago
2005
IEEE
Diffuse Optical Tomography (DOT) poses a typical illposed inverse problem with limited number of measurements and inherently low spatial resolution. In this paper, we propose a hi...
157
click to vote
VR
2003
IEEE
15 years 12 months ago
2003
IEEE
We examine the law of steering – a quantitative model of human movement time in relation to path width and length previously established in hand drawing movement – in a VR loc...
159
click to vote
BIBE
2000
IEEE
15 years 11 months ago
2000
IEEE
—Differential interference contrast (DIC) microscopy is a powerful visualization tool used to study live biological cells. Its use, however, has been limited to qualitative obser...