8648 search results - page 1297 / 1730 » Designing for Human-Agent Interaction |
190
click to vote
TREC
2007
15 years 8 months ago
2007
TREC 2007 was the second year of the Legal Track, which focuses on evaluation of search technology for discovery of electronically stored information in litigation and regulatory ...
195
Voted
CADE
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. While many higher-order interactive theorem provers include a choice operator, higher-order automated theorem provers currently do not. As a step towards supporting autom...
160
click to vote
ECAI
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Goals are central to the design and implementation of intelligent software agents. Much of the literature on goals and reasoning about goals only deals with a limited set...
201
click to vote
ICALT
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract--jEditOQMath is an authoring tool for the intelligent learning environment ActiveMath. Its editing interface is a simple source editor. However the wealth and power of the...
166
Voted
GECCO
2008
Springer
15 years 8 months ago
2008
Springer
A stent device is a permanent metallic implant currently used to prop open arteries blocked with atherosclerotic plaques. Many classes of stents are available and mainly differ b...