2663 search results - page 467 / 533 » How to Choose a Timing Model |
149
click to vote
FLAIRS
2008
15 years 5 months ago
2008
The problem of recognizing textual entailment (RTE) has been recently addressed using syntactic and lexical models with some success. Here, we further explore this problem, this t...
113
Voted
ACMDIS
2008
ACM
15 years 5 months ago
2008
ACM
True multi-user, multimodal interaction over a digital table lets co-located people simultaneously gesture and speak commands to control an application. We explore this design spa...
147
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
The beliefs of an agent reflecting her subjective view of the world constitute one of the main components of a BDI agent. In order to incorporate new information coming from other...
137
click to vote
CP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...
140
Voted
LREC
2010
15 years 4 months ago
2010
This paper presents the process of development and the characteristics of an evaluation collection for a personalisation system for digital newspapers. This system selects, adapts...