Sciweavers

8636 search results - page 1339 / 1728
» How Developers Copy
Sort
View
128
Voted
EEE
2004
IEEE
15 years 8 months ago
Simulation Models and Their Metainfo-Management Using RDF-Based Paradigms
In a catalogue for computer-based models the basic problem is that complex interdependencies between models must be addressed, which are dependent on an application's domain....
Michael C. Jaeger, Moussa Lo, Robert J. Pefferly
EMSOFT
2004
Springer
15 years 8 months ago
Defining and translating a "safe" subset of simulink/stateflow into lustre
The Simulink/Stateflow toolset is an integrated suite enabling model-based design and has become popular in the automotive and aeronautics industries. We have previously developed...
Norman Scaife, Christos Sofronis, Paul Caspi, Stav...
FGR
2004
IEEE
89views Biometrics» more  FGR 2004»
15 years 8 months ago
Subspace Analysis and Optimization for AAM Based Face Alignment
1 Active Appearance Models (AAM) is very powerful for extracting objects, e.g. faces, from images. It is composed of two parts: the AAM subspace model and the AAM search. While th...
Ming Zhao 0003, Chun Chen, Stan Z. Li, Jiajun Bu
FMCAD
2004
Springer
15 years 8 months ago
Bloom Filters in Probabilistic Verification
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
Peter C. Dillinger, Panagiotis Manolios
FQAS
2004
Springer
135views Database» more  FQAS 2004»
15 years 8 months ago
Interactive Schema Integration with Sphinx
Abstract. The Internet has instigated a critical need for automated tools that facilitate integrating countless databases. Since non-technical end users are often the ultimate repo...
François Barbançon, Daniel P. Mirank...
« Prev « First page 1339 / 1728 Last » Next »