Sciweavers

786 search results - page 65 / 158
» FeatureMapper: mapping features to models
Sort
View
85
Voted
UML
2005
Springer
15 years 6 months ago
Practical Declarative Model Transformation with Tefkat
We present Tefkat, an implementation of a language designed specically for the transformation of MOF models using patterns and rules. The language adopts a declarative paradigm, w...
Michael Lawley, Jim Steel
CAV
1998
Springer
147views Hardware» more  CAV 1998»
15 years 4 months ago
Verification of an Implementation of Tomasulo's Algorithm by Compositional Model Checking
An implementation of an out-of-order processing unit based on Tomasulo's algorithm is formally verified using compositional model checking techniques. This demonstrates that f...
Kenneth L. McMillan
RSS
2007
145views Robotics» more  RSS 2007»
15 years 1 months ago
Semantic Modeling of Places using Objects
— While robot mapping has seen massive strides , higher level abstractions in map representation are still not widespread. Maps containing semantic concepts such as objects and l...
Ananth Ranganathan, Frank Dellaert
110
Voted
SEMCO
2008
IEEE
15 years 7 months ago
Disambiguating Sounds through Context
A central problem in automatic sound recognition is the mapping between low-level audio features and the meaningful content of an auditory scene. We propose a dynamic network mode...
Maria E. Niessen, Leendert van Maanen, Tjeerd C. A...
91
Voted
ECAI
2004
Springer
15 years 6 months ago
Identifying Relational Concept Lexicalisations by Using General Linguistic Knowledge
Abstract. This paper analyses how general-purpose semantic hierarchies could be helpful in the construction of one-to-many mappings between the coarse-grained relational concepts a...
Maria Teresa Pazienza, Marco Pennacchiotti, Fabio ...