Sciweavers

1596 search results - page 295 / 320
» An Information Structural Approach to Spoken Language Genera...
Sort
View
APWEB
2010
Springer
15 years 27 days ago
Suggesting Topic-Based Query Terms as You Type
— Query term suggestion that interactively expands the queries is an indispensable technique to help users formulate high-quality queries and has attracted much attention in the ...
Ju Fan, Hao Wu, Guoliang Li, Lizhu Zhou
ITP
2010
172views Mathematics» more  ITP 2010»
15 years 11 days ago
Automated Machine-Checked Hybrid System Safety Proofs
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
Herman Geuvers, Adam Koprowski, Dan Synek, Eelis v...
ICRA
2009
IEEE
127views Robotics» more  ICRA 2009»
14 years 11 months ago
Roombots-mechanical design of self-reconfiguring modular robots for adaptive furniture
We aim at merging technologies from information technology, roomware, and robotics in order to design adaptive and intelligent furniture. This paper presents design principles for ...
Alexander Spröwitz, Aude Billard, Pierre Dill...
CIKM
2008
Springer
15 years 3 months ago
Joke retrieval: recognizing the same joke told differently
In a corpus of jokes, a human might judge two documents to be the "same joke" even if characters, locations, and other details are varied. A given joke could be retold w...
Lisa Friedland, James Allan
ATAL
2006
Springer
15 years 5 months ago
Continuous refinement of agent resource estimates
The challenge we address is to reason about projected resource usage within a hierarchical task execution framework in order to improve agent effectiveness. Specifically, we seek ...
David N. Morley, Karen L. Myers, Neil Yorke-Smith