1343 search results - page 38 / 269 » Learning to Complete Sentences |
132
click to vote
CSL
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. For a reasonable sound and complete proof calculus for firstorder logic consider the problem to decide, given a sentence of firstorder logic and a natural number n, whet...
125
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
In textual knowledge management, statistical methods prevail. Nonetheless, some difficulties cannot be overcome by these methodologies. I propose a symbolic approach using a comp...
122
click to vote
KBSE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Abbreviation Completion is a novel technique to improve the efficiency of code-writing by supporting code completion of multiple keywords based on non-predefined abbreviated inp...
130
click to vote
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
— Haptic interface devices and teleoperation masters are multiple degree of freedom devices manipulated by an operator to generate realtime motion commands to simulated environme...
126
click to vote
HCI
2009
15 years 1 months ago
2009
The aim of this work was to investigate arm gestures as an alternative input modality for wrist-worn watches. In particular we implemented a gesture recognition system and question...