738 search results - page 89 / 148 » Object Orientation and Formal Techniques |
111
Voted
ICPR
2002
IEEE
15 years 4 months ago
2002
IEEE
Most eye trackers based on active IR illumination require distinctive bright pupil effect to work well. However, due to a variety of factors such as eye closure, eye occlusion, an...
ICRA
2007
IEEE
15 years 5 months ago
2007
IEEE
— In this paper, we propose a multi-level shadow identification scheme which is generally applicable without restrictions on the number of light sources, illumination conditions...
CAIP
2007
Springer
15 years 5 months ago
2007
Springer
This paper presents a novel shape recovery technique that combines photometric stereo with polarization information. First, a set of ambiguous surface normals are estimated from po...
ESOP
1999
Springer
15 years 3 months ago
1999
Springer
Control Flow Analysis is a widely used approach for analysing functional and object oriented programs. Once the applications become more demanding also the analysis needs to be mor...
ENTCS
2006
14 years 11 months ago
2006
We present a semantics-based technique for modeling and analysing resource usage behaviour of programs written in a simple object oriented language like Java e code. The approach ...