Sciweavers

1827 search results - page 211 / 366
» Automatic thesaurus construction
Sort
View
131
Voted
CAV
2009
Springer
165views Hardware» more  CAV 2009»
15 years 8 months ago
Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences
Designers often apply manual or semi-automatic loop and data transformations on array and loop intensive programs to improve performance. The transformations should preserve the fu...
Sven Verdoolaege, Gerda Janssens, Maurice Bruynoog...
ECTEL
2007
Springer
15 years 8 months ago
A Qualitative and Quantitative Evaluation of Adaptive Authoring of Adaptive Hypermedia
Currently, large amounts of research exist into the design and implementation of adaptive systems. The complex task of authoring of such systems, or their evaluation, is addressed ...
Maurice Hendrix, Alexandra I. Cristea
134
Voted
ICAIL
2007
ACM
15 years 8 months ago
Deep semantic interpretations of legal texts
One of the main obstacles to progress in the field of artificial intelligence and law is the natural language barrier, but the technology of natural language processing has advanc...
L. Thorne McCarty
141
Voted
ICAS
2009
IEEE
131views Robotics» more  ICAS 2009»
15 years 8 months 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
15 years 8 months 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...