Sciweavers

3706 search results - page 497 / 742
» OntoComP System Description
Sort
View
RE
2004
Springer
15 years 12 months ago
Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation
Scenarios and goals are effective and popular techniques for requirements definition. Validation is essential in order to ensure that they represent what stakeholders actually wan...
Sebastián Uchitel, Robert Chatley, Jeff Kra...
DFT
2003
IEEE
99views VLSI» more  DFT 2003»
15 years 11 months ago
Dependability Analysis of CAN Networks: An Emulation-Based Approach
1 Today many safety-critical applications are based on distributed systems where several computing nodes exchange information via suitable network interconnections. An example of t...
J. Pérez, Matteo Sonza Reorda, Massimo Viol...
HICSS
2003
IEEE
184views Biometrics» more  HICSS 2003»
15 years 11 months ago
Content Based File Type Detection Algorithms
Identifying the true type of a computer file can be a difficult problem. Previous methods of file type recognition include fixed file extensions, fixed “magic numbers” stored ...
Mason McDaniel, Mohammad Hossain Heydari
ICDAR
2003
IEEE
15 years 11 months ago
Indexing and retrieval of words in old documents
This paper describes a system for efficient indexing and retrieval of words in collections of document images. The proposed method is based on two main principles: unsupervised pr...
Simone Marinai, Emanuele Marino, Giovanni Soda
ICRA
2003
IEEE
169views Robotics» more  ICRA 2003»
15 years 11 months ago
Robust model-based 3D object recognition by combining feature matching with tracking
− We propose a vision based 3D object recognition and tracking system, which provides high level scene descriptions such as object identification and 3D pose information. The sys...
Sungho Kim, In-So Kweon, Incheol Kim