3408 search results - page 416 / 682 » Logic, language, information and computation |
224
click to vote
CEFP
2007
Springer
16 years 29 days ago
2007
Springer
This tutorial paper aims to provide the necessary expertise for working with the proof assistant Sparkle, which is dedicated to the lazy functional programming language Clean. The ...
162
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
The primary target of this work is human-robot collaboration, especially for service robots in complicated application scenarios. Three assumptions and four requirements are ident...
188
Voted
KBSE
2010
IEEE
15 years 5 months ago
2010
IEEE
Although testing is central to debugging and software certification, there is no adequate language to specify test suites over source code. Such a language should be simple and c...
186
click to vote
ICPPW
2003
IEEE
16 years 2 days ago
2003
IEEE
Users have been demanding information “anytime, anywhere”. The notion of accessing diverse and autonomous information repositories with different APIs is not accepted. This ha...
191
click to vote
ACL
2012
13 years 9 months ago
2012
Learning for sentence re-writing is a fundamental task in natural language processing and information retrieval. In this paper, we propose a new class of kernel functions, referre...