Sciweavers

1054 search results - page 9 / 211
» Using Component Abstraction for Automatic Generation of Macr...
Sort
View
VMV
2004
292views Visualization» more  VMV 2004»
13 years 9 months ago
Automatic Generation of Shape Models Using Nonrigid Registration with a Single Segmented Template Mesh
Statistical shape modeling using point distribution models (PDMs) has been studied extensively for segmentation and other image analysis tasks. Methods investigated in the literat...
Geremy Heitz, Torsten Rohlfing, Calvin R. Maurer J...
RSP
2007
IEEE
139views Control Systems» more  RSP 2007»
14 years 2 months ago
Verifying Distributed Protocols using MSC-Assertions, Run-time Monitoring, and Automatic Test Generation
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
Doron Drusinsky, Man-tak Shing
DATE
2006
IEEE
126views Hardware» more  DATE 2006»
14 years 2 months ago
Communication and co-simulation infrastructure for heterogeneous system integration
With the increasing complexity and heterogeneity of embedded electronic systems, a unified design methodology at evels of abstraction becomes a necessity. Meanwhile, it is also i...
Guang Yang 0004, Xi Chen, Felice Balarin, Harry Hs...
DKE
2010
144views more  DKE 2010»
13 years 8 months ago
Reusing ontologies and language components for ontology generation
Realizing the Semantic Web involves creating ontologies, a tedious and costly challenge. Reuse can reduce the cost of ontology engineering. Semantic Web ontologies can provide use...
Deryle W. Lonsdale, David W. Embley, Yihong Ding, ...
NLDB
2007
Springer
14 years 2 months ago
Generating Ontologies Via Language Components and Ontology Reuse
Realizing the Semantic Web involves creating ontologies, a tedious and costly challenge. Reuse can reduce the cost of ontology engineering. Ontologies already created in recent Sem...
Yihong Ding, Deryle W. Lonsdale, David W. Embley, ...