10633 search results - page 1540 / 2127 » Relating Distributed Objects |
186
click to vote
CVPR
1996
IEEE
15 years 9 months ago
1996
IEEE
A new boundary detection approach for shape modeling is presented. It detects the global minimum of an active contour model's energy between two end points. Initialization is ...
138
click to vote
ECOOP
1997
Springer
15 years 9 months ago
1997
Springer
A type inclusion test is a procedure to decide whether two types are related by a given subtyping relationship. An efficient implementation of the type inclusion test plays an impo...
129
click to vote
RTSS
1994
IEEE
15 years 9 months ago
1994
IEEE
This paper presents a comprehensive design methodology for guaranteeing end-to-end requirements of real-time systems. Applications are structured as a set of process components co...
129
click to vote
HYBRID
1994
Springer
15 years 9 months ago
1994
Springer
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
139
click to vote
ECAI
1992
Springer
15 years 9 months ago
1992
Springer
The literature on the nature and representation of time is full of disputes and contradictory theories. This is surprising since the nature of time does not cause any worry for pe...