Sciweavers

4385 search results - page 180 / 877
» Abstraction for Concurrent Objects
Sort
View
ISER
2000
Springer
96views Robotics» more  ISER 2000»
15 years 2 months ago
Control of an Under Actuated Unstable Nonlinear Object
Abstract: This paper presents a comprehensive comparative study of several nonlinear controllers for stabilisation of the under actuated unstable nonlinear object known as the Acro...
Nils A. Andersen, Lars Skovgaard, Ole Ravn
RE
2002
Springer
14 years 11 months ago
Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts
perfect technology assumption, which abstracts from limitations imposed by an implementation. Statecharts describe object life cycles. Our semantics includes synchronous and asynch...
Rik Eshuis, David N. Jansen, Roel Wieringa
ICRA
2010
IEEE
190views Robotics» more  ICRA 2010»
14 years 9 months ago
Active 3D scene segmentation and detection of unknown objects
Abstract— We present an active vision system for segmentation of visual scenes based on integration of several cues. The system serves as a visual front end for generation of obj...
Mårten Björkman, Danica Kragic
ECOOP
2004
Springer
15 years 4 months ago
Sequential Object Monitors
Abstract. Programming with Java monitors is recognized to be difficult, and potentially inefficient due to many useless context switches induced by the notifyAll primitive. This pa...
Denis Caromel, Luis Mateu, Éric Tanter
POS
2000
Springer
15 years 2 months ago
A Framework for Persistence-Enabled Optimization of Java Object Stores
Abstract. Aggressive optimization of programs often relies on analysis and transformation that cuts across the natural abstraction boundaries of the source programming language, su...
David Whitlock, Antony L. Hosking