Sciweavers

4213 search results - page 488 / 843
» The Tau Parallel Performance System
Sort
View
KES
2004
Springer
16 years 6 days ago
Vision Controlled Humanoid Robot Tool-Kit
This paper introduces a novel parallelised vision based intelligent controller for a Humanoid Robot system. This intelligent controller is simulated dynamically and its performance...
Chris H. Messom
COMPOS
1997
Springer
15 years 11 months ago
Compositional Reasoning in Model Checking
The main problem in model checking that prevents it from being used for veri cation of large systems is the state explosion problem. This problem often arises from combining parall...
Sergey Berezin, Sérgio Vale Aguiar Campos, ...
COLING
2008
15 years 8 months ago
Linguistically-Based Sub-Sentential Alignment for Terminology Extraction from a Bilingual Automotive Corpus
We present a sub-sentential alignment system that links linguistically motivated phrases in parallel texts based on lexical correspondences and syntactic similarity. We compare th...
Lieve Macken, Els Lefever, Véronique Hoste
IAJIT
2011
14 years 10 months ago
DWT-based audio watermarking
: Many effective watermarking algorithms have been proposed and implemented for digital images and digital video, however, few algorithms have been proposed for audio watermarking....
Ali Al-Haj, Ahmad A. Mohammad, Lama Bata
CLUSTER
2008
IEEE
16 years 1 months ago
Intelligent compilers
—The industry is now in agreement that the future of architecture design lies in multiple cores. As a consequence, all computer systems today, from embedded devices to petascale ...
John Cavazos