Sciweavers

728 search results - page 28 / 146
» New Directions in Question Answering
Sort
View
VL
2008
IEEE
111views Visual Languages» more  VL 2008»
16 years 13 days ago
Tool support for working with sets of source code entities
Previous research has identified several challenges that programmers face in answering questions about a code base. To explore ways to overcome those challenges, we have develope...
Curtis Fraser, Chris Luce, Jamie Starke, Jonathan ...
166
Voted
SIAMCOMP
2000
106views more  SIAMCOMP 2000»
15 years 5 months ago
Computationally Sound Proofs
This paper puts forward a new notion of a proof based on computational complexity and explores its implications for computation at large. Computationally sound proofs provide, in a...
Silvio Micali
AUSAI
2008
Springer
15 years 8 months ago
Working for Two: A Bidirectional Grammar for a Controlled Natural Language
This paper introduces the controlled natural language PENG Light together with a language processor that is based on a bidirectional grammar. The language processor has the followi...
Rolf Schwitter
HRI
2009
ACM
16 years 26 days ago
Providing route directions: design of robot's utterance, gesture, and timing
Providing route directions is a complicated interaction. Utterances are combined with gestures and pronounced with appropriate timing. This study proposes a model for a robot that...
Yusuke Okuno, Takayuki Kanda, Michita Imai, Hirosh...
181
Voted
WADS
2009
Springer
232views Algorithms» more  WADS 2009»
16 years 20 days ago
On Making Directed Graphs Transitive
We present the first thorough theoretical analysis of the Transitivity Editing problem on digraphs. Herein, the task is to perform a minimum number of arc insertions or deletions ...
Mathias Weller, Christian Komusiewicz, Rolf Nieder...