Sciweavers

2210 search results - page 355 / 442
» Applying a Model-based Approach for Embedded System Developm...
Sort
View
ICVS
2003
Springer
15 years 7 months ago
Towards Ontology Based Cognitive Vision
This paper details a visual concept ontology driven knowledge acquisition methodology. We propose to use a visual concept ontology to guide experts in the visual description of the...
Nicolas Maillot, Monique Thonnat, Alain Boucher
84
Voted
PG
2002
IEEE
15 years 7 months ago
Augmenting Computer Graphics with Haptics for the Visualization of Vessel Networks
Current visualization methods of volume angiograms are limited in their ability to display vessel connectivity and depth information readily available in the data set. In this wor...
Dingrong Yi, Vincent Hayward
141
Voted
ECMDAFA
2010
Springer
241views Hardware» more  ECMDAFA 2010»
15 years 7 months ago
Detecting Inconsistencies in Multi-View Models with Variability
Multi-View Modeling (MVM) is a common modeling practice that advocates the use of multiple, different and yet related models to represent the needs of diverse stakeholders. Of cruc...
Roberto Erick Lopez-Herrejon, Alexander Egyed
TABLEAUX
2009
Springer
15 years 6 months ago
Tableaux for Projection Computation and Knowledge Compilation
Projection computation is a generalization of second-order quantifier elimination, which in turn is closely related to the computation of forgetting and of uniform interpolants. O...
Christoph Wernhard
UML
2001
Springer
15 years 6 months ago
An Axiomatic Formalization of UML Models
: Though it is widely recognized that object-oriented methodologies are most effective in developing large scale software, it is still dif cult to apply high level computer support...
Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama