3818 search results - page 430 / 764 » Learning from Order Examples |
131
click to vote
LREC
2010
15 years 5 months ago
2010
Creating more fine-grained annotated data than previously relevent document sets is important for evaluating individual components in automatic question answering systems. In this...
147
click to vote
TEDU
2008
15 years 4 months ago
2008
This paper presents a theoretical framework, which has been adopted in designing an on-line multi-player strategy game Europe 2045. Europe 2045 is an educational tool for high scho...
188
click to vote
TSMC
2010
14 years 11 months ago
2010
Abstract--For the last decade, we have developed a visionbased architecture for mobile robot navigation. Our bio-inspired model of the navigation has proved to achieve sensory-moto...
147
click to vote
RTA
2004
Springer
15 years 9 months ago
2004
Springer
Restrictions of rewriting can eventually achieve termination by pruning all infinite rewrite sequences issued from every term. Contextsensitive rewriting (CSR) is an example of su...
147
click to vote
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In this survey on implicit induction I recollect some memories on the history of implicit induction as it is relevant for future research on computer-assisted theorem pro...