2646 search results - page 242 / 530 » Local Type Inference |
170
click to vote
CRV
2006
IEEE
16 years 21 days ago
2006
IEEE
This paper describes a surveillance system that uses a network of sensors of different kind for localizing and tracking people in an office environment. The sensor network consist...
149
click to vote
ENC
2005
IEEE
16 years 8 days ago
2005
IEEE
This paper describes SKIMA, a mediation system that gives transparent access to heterogeneous and distributed sources considering their semantics and the semantics of application ...
155
click to vote
ESOP
2005
Springer
16 years 5 days ago
2005
Springer
We present an aggressive interprocedural analysis for inferring value equalities which are independent of the concrete interpretation of the operator symbols. These equalities, cal...
166
click to vote
CIVR
2003
Springer
15 years 12 months ago
2003
Springer
The concept of a documentary scene was inferred from the audio-visual characteristics of certain documentary videos. It was observed that the amount of information from the visual ...
177
Voted
3DPVT
2002
IEEE
15 years 11 months ago
2002
IEEE
We consider the problem of computing stereo correspondence for scenes dense in physical structure, such as a bouquet of flowers. Boundaries are then space curves, formally govern...