Sciweavers

498 search results - page 62 / 100
» Model Validation using Automatically Generated Requirements-...
Sort
View
CIKM
2009
Springer
13 years 9 months ago
Retrieval experiments using pseudo-desktop collections
Desktop search is an important part of personal information management (PIM). However, research in this area has been limited by the lack of shareable test collections, making cum...
Jinyoung Kim, W. Bruce Croft
EUROIMSA
2006
111views Multimedia» more  EUROIMSA 2006»
13 years 10 months ago
Exaggeration of Extremely Detailed 3D Faces
Exaggeration is often used in art and entertainment to capture the interest and attention of an audience. We present an approach to automatically exaggerate the distinctive featur...
Andrew Soon, Won-Sook Lee
JIRS
2007
229views more  JIRS 2007»
13 years 8 months ago
Unmanned Vehicle Controller Design, Evaluation and Implementation: From MATLAB to Printed Circuit Board
A detailed step-by-step approach is presented to optimize, standardize, and automate the process of unmanned vehicle controller design, evaluation, validation and verification, fol...
Daniel Ernst, Kimon P. Valavanis, Richard Garcia, ...
BIRTHDAY
2007
Springer
14 years 2 months ago
Models and Software Model Checking of a Distributed File Replication System
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
Nikolaj Bjørner
AIIA
2007
Springer
14 years 2 months ago
A 3D Virtual Model of the Knee Driven by EMG Signals
A 3D virtual model of the human lower extremity has been developed for the purpose of examining how the neuromuscular system controls the muscles and generates the desired movement...
Massimo Sartori, Gaetano Chemello, Enrico Pagello