Sciweavers

748 search results - page 74 / 150
» Automatic Presentations and Semigroup Constructions
Sort
View
ICAS
2009
IEEE
131views Robotics» more  ICAS 2009»
14 years 25 days ago
Gait Synthesis for Legged Underwater Vehicles
Legged autonomous vehicles move by executing patterns of leg-joint angles known as gaits. Synthesizing gaits by hand is a complex and time-consuming task which becomes even more c...
Andrew German, Michael R. M. Jenkin
ASIACRYPT
2006
Springer
14 years 21 days ago
Finding SHA-1 Characteristics: General Results and Applications
The most efficient collision attacks on members of the SHA family presented so far all use complex characteristics which were manually constructed by Wang et al. In this report, we...
Christophe De Cannière, Christian Rechberge...
FQAS
2006
Springer
94views Database» more  FQAS 2006»
14 years 19 days ago
Term Disambiguation in Natural Language Query for XML
Converting a natural language query sentence into a formal database query is a major challenge. We have constructed NaLIX, a natural language interface for querying XML data. Throu...
Yunyao Li, Huahai Yang, H. V. Jagadish
APSEC
2001
IEEE
14 years 19 days ago
Compilation of Specifications
Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniq...
Colin J. Fidge
AAAI
2007
13 years 11 months ago
Recognizing Textual Entailment Using a Subsequence Kernel Method
We present a novel approach to recognizing Textual nt. Structural features are constructed from abstract tree descriptions, which are automatically extracted from syntactic depend...
Rui Wang 0005, Günter Neumann