9110 search results - page 192 / 1822 » Formally-Based Design Evaluation |
145
click to vote
MMS
2007
15 years 5 months ago
2007
Image searching is a creative process. We have proposed a novel image retrieval system that supports creative search sessions by allowing the user to organise their search results ...
159
click to vote
OTM
2010
Springer
15 years 3 months ago
2010
Springer
The GRASIM (Graph-Aided Similarity calculation) algorithm is designed to solve the problem of ontology-based data matching. We subdivide the matching problem into the ones of restr...
191
click to vote
INTERSPEECH
2010
15 years 26 days ago
2010
In this work, the RWTH automatic speech recognition systems for English and German for the second Quaero evaluation campaign 2009 are presented. The systems are designed to transc...
198
click to vote
TIM
2010
15 years 23 days ago
2010
Abstract--The most popular representative devices of reconfigurable computing are the Field Programmable Gate Arrays (FPGAs). A promising feature of an FPGA is the ability to reuse...
237
click to vote
HAPTICS
2011
IEEE
14 years 9 months ago
2011
IEEE
The main goal of virtual reality based surgery simulators with haptic feedback is to provide an alternative to traditional training methods on animals, cadavers or real patients. ...