4385 search results - page 454 / 877 » Abstraction for Concurrent Objects |
204
click to vote
VMCAI
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
217
click to vote
CAIP
2003
Springer
16 years 3 days ago
2003
Springer
Abstract. In this paper we integrate colour, texture, and motion into a segmentation process. The segmentation consists of two steps, which both combine the given information: a pr...
165
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract: This paper considers the global exponential stability of planar distributed manipulation control schemes. The “programmable vector field” approach is a commonly prop...
190
click to vote
EMO
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Topology design of enterprise networks is a hard combinatorial optimization problem. It has numerous constraints, several objectives, and a very noisy solution space. Bes...
155
click to vote
IWANN
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. It is generally accepted that some of the problems and ambiguities at the low level of processing can not be resolved without taking into account contextual expectations....