633 search results - page 61 / 127 » Casting an Object with a Core |
109
click to vote
ECCV
2010
Springer
15 years 4 months ago
2010
Springer
Detecting shadows from images can significantly improve the performance of several vision tasks such as object detection and tracking. Recent approaches have mainly used illuminat...
110
click to vote
ICIP
1999
IEEE
16 years 1 months ago
1999
IEEE
Robust, fast object detection systems are critical to the success of next-generation automotive vision systems. An important criteria is that the detection system be easily config...
GC
2004
Springer
15 years 5 months ago
2004
Springer
In this paper an extension of a behavioural subset of UML statecharts for mobile computations is proposed. We study collections of UML objects whose behaviour is given by statechar...
ICFP
1996
ACM
15 years 4 months ago
1996
ACM
An extension of the simply-typed lambda calculus is presented which contains both well-structured inductive and coinductive types, and which also identifies a class of types for w...
107
click to vote
ESOP
2006
Springer
15 years 3 months ago
2006
Springer
We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dyn...