7890 search results - page 454 / 1578 » The MathSAT 3 System |
207
click to vote
NHM
2010
15 years 1 months ago
2010
We consider a star-shaped network consisting of a single node with N 3 connected arcs. The dynamics on each arc is governed by the wave equation. The arcs are coupled at the node ...
193
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
This presentation demonstrates the early results from the French ANR project RT-Simex. RT-Simex proposes a set of tools to analyze timing of parallel embedded code and trace the s...
167
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Varying channel conditions present a difficult problem for many speech technologies such as language identification (LID). Channel compensation techniques have been shown to sig...
228
click to vote
ICDE
2012
IEEE
13 years 9 months ago
2012
IEEE
—We demonstrate MXQuery/H, a modified version of MXQuery that uses hardware acceleration to speed up XML processing. The main goal of this demonstration is to give an interactiv...
194
click to vote
SMC
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— The underwater environment presents many challenges for robotic sensing including highly variable lighting, the presence of dynamic objects, and the six degree of freed...