Sciweavers

3812 search results - page 114 / 763
» Combinations of TRAP Based Systems
Sort
View
141
Voted
LPAR
2000
Springer
15 years 9 months ago
A Tactic Language for the System Coq
We propose a new tactic language for the system goq, which is intended to enrich the current tactic combinators (tacticals). This language is based on a functional core with recurs...
David Delahaye
SIGDIAL
2010
15 years 3 months ago
F2 - New Technique for Recognition of User Emotional States in Spoken Dialogue Systems
In this paper we propose a new technique to enhance emotion recognition by combining in different ways what we call emotion predictions. The technique is called F2 as the combinat...
Ramón López-Cózar, Jan Silovs...
EWCBR
2006
Springer
15 years 9 months ago
Evaluating CBR Systems Using Different Data Sources: A Case Study
The complexity and high construction cost of case bases make it very difficult, if not impossible, to evaluate a CBR system, especially a knowledge-intensive CBR system, using stat...
Mingyang Gu, Agnar Aamodt
UIC
2010
Springer
15 years 3 months ago
A Smartphone-Based Obstacle Sensor for the Visually Impaired
In this paper, we present a real-time obstacle detection system for the mobility improvement for the visually impaired using a handheld Smartphone. Though there are many existing a...
En Peng, Patrick Peursum, Ling Li, Svetha Venkates...
ICCAD
2007
IEEE
106views Hardware» more  ICCAD 2007»
16 years 2 months ago
A general model for performance optimization of sequential systems
Abstract— Retiming, c-slow retiming and recycling are different transformations for the performance optimization of sequential circuits. For retiming and c-slow retiming, differe...
Dmitry Bufistov, Jordi Cortadella, Michael Kishine...