Sciweavers

836 search results - page 2 / 168
» An Object Semantic Model of SOFL
Sort
View
CBMS
2011
IEEE
12 years 5 months ago
Sharing object models for multi-modality medical image simulation: A semantic approach
Medical image simulation produces virtual images from software representations of imaging devices and virtual object models representing the human body. Object models consist of t...
Germain Forestier, Adrien Marion, Hugues Benoit-Ca...
FORTE
2009
13 years 3 months ago
System Model-Based Definition of Modeling Language Semantics
Abstract. In this paper, we present an approach to define the semantics for object-oriented modeling languages. One important property of this semantics is to support underspecifie...
Hans Grönniger, Jan Oliver Ringert, Bernhard ...
POPL
2012
ACM
12 years 1 months ago
A mechanized semantics for C++ object construction and destruction, with applications to resource management
We present a formal operational semantics and its Coq mechanization for the C++ object model, featuring object construction and destruction, shared and repeated multiple inheritan...
Tahina Ramananandro, Gabriel Dos Reis, Xavier Lero...
CVPR
2012
IEEE
11 years 8 months ago
Semantic structure from motion with points, regions, and objects
Structure from motion (SFM) aims at jointly recovering the structure of a scene as a collection of 3D points and estimating the camera poses from a number of input images. In this...
Sid Ying-Ze Bao, Mohit Bagra, Yu-Wei Chao, Silvio ...
ICIP
2005
IEEE
14 years 7 months ago
Detection of semantic objects using description graphs
This paper presents a technique to detect instances of classes (objects) according to their semantic definition in the form of a Description Graph. Classes are defined as combinat...
Ferran Marqués, Xavier Giro