Sciweavers

4270 search results - page 317 / 854
» Implementation of interactive poster
Sort
View
172
Voted
JAR
2007
80views more  JAR 2007»
15 years 6 months ago
Integrating Searching and Authoring in Mizar
The vision of a computerised assistant to mathematicians has existed since the inception of theorem proving systems. The Alcor system has been designed to investigate and explore h...
Paul A. Cairns, Jeremy Gow
CGF
2000
135views more  CGF 2000»
15 years 6 months ago
Observational Models of Graphite Pencil Materials
This paper presents models for graphite pencil, drawing paper, blenders, and kneaded eraser that produce realistic looking pencil marks, textures, and tones. Our models are based ...
Mario Costa Sousa, John W. Buchanan
COLING
2002
15 years 6 months ago
Answering it with Charts: Dialogue in Natural Language and Charts
A methodology is proposed for taking queries and requests expressed in natural language as input and answering them in charts through organizing that interaction into felicitous d...
Tsuneaki Kato, Mitsunori Matsushita, Eisaku Maeda
ENTCS
2002
129views more  ENTCS 2002»
15 years 6 months ago
Argumentative Agent Deliberation, Roles and Context
This paper presents an argumentation based framework to support an agent's deliberation process for drawing conclusions under a given policy. The argumentative policy of the ...
Antonis C. Kakas, Pavlos Moraitis
AROBOTS
1999
117views more  AROBOTS 1999»
15 years 6 months ago
AV-Shell, an Environment for Autonomous Robotic Applications Using Active Vision
Abstract. In this paper, we present a system called the Active Vision Shell (AV-shell) which provides a programming framework for expressing and implementing autonomous robotic tas...
Jeffrey A. Fayman, Ehud Rivlin, Henrik I. Christen...