4099 search results - page 468 / 820 » A Framework for Interactive Proof |
195
click to vote
TREC
2007
15 years 8 months ago
2007
The TREC 2007 question answering (QA) track contained two tasks: the main task consisting of series of factoid, list, and “Other” questions organized around a set of targets, ...
181
click to vote
ACMDIS
2010
ACM
15 years 7 months ago
2010
ACM
Motivated and informed by perspectives on sustainability and design, this paper draws on a diverse body of scholarly works related to energy and materiality to articulate a perspe...
174
Voted
ERCIM
2007
15 years 6 months ago
2007
sented by abstract mathematical structures, and visualization is used to convert these into pictures. At the core of every simulation is a mathematical model that is evaluated by a...
200
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— Multi-target tracking becomes significantly more challenging when the targets are in close proximity or frequently interact with each other. This paper presents a promising tr...
182
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
Getting the right amount of quality sleep is a key aspect of good health, along with a healthy diet and regular exercise. Human-computer interaction (HCI) researchers have recentl...