Sciweavers

4944 search results - page 264 / 989
» From XML to Relational Models
Sort
View
ACMSE
2004
ACM
16 years 2 days ago
SA_MetaMatch: relevant document discovery through document metadata and indexing
SA_MetaMatch, a component of the Standards Advisor (SA), is designed to find relevant documents through matching indices of metadata and document content. The elements in the meta...
Hiu S. Yau, J. Scott Hawker
SMA
2008
ACM
122views Solid Modeling» more  SMA 2008»
15 years 6 months ago
The cost of not knowing the radius
Robust Statistics considers the quality of statistical decisions in the presence of deviations from the ideal model, where deviations are modelled by neighborhoods of a certain siz...
Helmut Rieder, Matthias Kohl, Peter Ruckdeschel
TIP
2002
110views more  TIP 2002»
15 years 6 months ago
Localization based on DEM matching using multiple aerial image pairs
This paper proposes the localization algorithm that estimates translation parameters of an aircraft by comparing the sampled elevation map recovered from aerial sequence images, an...
Dong-Gyu Sim, Rae-Hong Park
ICSE
2009
IEEE-ACM
16 years 1 months ago
Footprinter: Round-trip engineering via scenario and state based models
In model-driven software development, while scenariobased models are closer to distributed system requirements, state-based models are suitable for code generation. Our tool ‘Fo...
Ankit Goel, Bikram Sengupta, Abhik Roychoudhury
179
Voted
CAV
1993
Springer
127views Hardware» more  CAV 1993»
15 years 10 months ago
Symbolic Equivalence Checking
Abstract. We describe the implementation, within ALDEBARAN of an algorithmic method allowing the generation of a minimal labeled transition rom an abstract model ; this minimality ...
Jean-Claude Fernandez, Alain Kerbrat, Laurent Moun...