Sciweavers

4693 search results - page 518 / 939
» Verifying Hybrid Systems
Sort
View
158
Voted
IEAAIE
1998
Springer
15 years 11 months ago
Complexity and Cognitive Computing
Abstract. This paper has as main goal to develop a hybrid expert system to minimize some of the complexity problems related to arti cial intelligence eld. For instance, we can ment...
Lourdes Mattos Brasil, Fernando Mendes de Azevedo,...
RTSS
1997
IEEE
15 years 11 months ago
Exploiting skips in periodic tasks for enhancing aperiodic responsiveness
In certain real-time applications, ranging from multimedia to telecommunication systems, timing constraints can be more flexible than scheduling theory usually permits. For exampl...
Marco Caccamo, Giorgio C. Buttazzo
ACL
2001
15 years 8 months ago
Towards a Unified Approach to Memory- and Statistical-Based Machine Translation
We present a set of algorithms that enable us to translate natural language sentences by exploiting both a translation memory and a statistical-based translation model. Our result...
Daniel Marcu
JMM2
2006
157views more  JMM2 2006»
15 years 7 months ago
Low-Cost 3D Scanning by Exploiting Virtual Image Symmetries
We present a low cost, hybrid active/passive 3D scanning system based on an off-the-shelf camera, a laser stripe illuminator and a turntable. The system combines the good accuracy ...
Carlo Colombo, Dario Comanducci, Alberto Del Bimbo
VTC
2010
IEEE
129views Communications» more  VTC 2010»
15 years 5 months ago
A Near-Capacity Differentially Encoded Non-Coherent Adaptive Multiple-Symbol-Detection Aided Three-Stage Coded Scheme
Abstract—This paper presents an Irregular Distributed Hybrid Concatenated Differential (Ir-DHCD) coding scheme contrived for the relayaided differential decode-and-forward (DDF) ...
Li Wang, Lingkun Kong, Soon Xin Ng, Lajos Hanzo