2596 search results - page 173 / 520 » Gradual Typing for Objects |
176
click to vote
CVPR
2003
IEEE
16 years 6 months ago
2003
IEEE
Monitoring activities using video data is an important surveillance problem. A special scenario is to learn the pattern of normal activities and detect abnormal events from a very...
148
click to vote
SRDS
1998
IEEE
15 years 8 months ago
1998
IEEE
Dependable distributed systems are difficult to build. This is particularly true if they have dependability requirements that change during the execution of an application, and are...
193
click to vote
ER
1995
Springer
15 years 7 months ago
1995
Springer
We describe a (meta) formalism for defining a variety of (object oriented) data models in a unified framework based on a variation of first-order logic. As specific example we use...
135
click to vote
WSC
1997
15 years 5 months ago
1997
Creating comprehensive simulation models can be expensive and time consuming. This paper discusses our efforts to develop a general methodology that will allow users to quickly an...
154
click to vote
IVC
2007
15 years 3 months ago
2007
In this article a new approach is given for real-time visual tracking of a class of articulated non-rigid objects in 3D. The main contribution of this paper consists in symmetrica...