Sciweavers

4096 search results - page 172 / 820
» An Object Model for Interoperable Systems
Sort
View
ENTCS
2008
140views more  ENTCS 2008»
15 years 4 months ago
Linking Event-B and Concurrent Object-Oriented Programs
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
Andrew Edmunds, Michael Butler
CAD
2004
Springer
15 years 4 months ago
Reconstruction of piecewise planar objects from point clouds
This article discusses the reverse engineering problem of reconstructing objects with planar faces. We will present the main geometric features of a modeling system which are the ...
Martin Peternell, Tibor Steiner
RCIS
2010
15 years 2 months ago
Using Software Metrics in the Evaluation of a Conceptual Component Model
Every interactive system has a functional part and an interactive part. However the software engineering and the human-computer-interaction communities work separately in terms of ...
Eric Ceret, Sophie Dupuy-Chessa, Guillaume Godet-B...
130
Voted
ICPR
2010
IEEE
15 years 11 months ago
Using Symmetry to Select Fixation Points for Segmentation
For the interpretation of a visual scene, it is important for a robotic system to pay attention to the objects in the scene and segment them from their background. We focus on the...
Gert Kootstra, Niklas Bergström, Danica Kragic
IROS
2007
IEEE
95views Robotics» more  IROS 2007»
15 years 10 months ago
Modeling affordances using Bayesian networks
— Affordances represent the behavior of objects in terms of the robot’s motor and perceptual skills. This type of knowledge plays a crucial role in developmental robotic system...
Luis Montesano, Manuel Lopes, Alexandre Bernardino...