Sciweavers

12568 search results - page 462 / 2514
» Selective user interaction
Sort
View
ICCS
2005
Springer
16 years 1 months ago
A Visual Interactive Framework for Formal Derivation
We describe a visual interactive framework that supports the computation of syntactic unifiers of expressions with variables. Unification is specified via built-in transformatio...
Paul Agron, Leo Bachmair, Frank Nielsen
ISMAR
2003
IEEE
16 years 28 days ago
BLADESHIPS: An Interactive Attraction in Mixed Reality
Our purpose is to construct a new type interactive attraction which detects the user’s hand actions as triggers in a multi-participated mixed reality environment. “BLADESHIPS...
Masayuki Takemura, Shungo Haraguchi
AVI
2004
15 years 9 months ago
Interacting with embodied agents in public environments
In this paper, we present the first results of a research aiming at developing an intelligent agent able to interact with users in public spaces through a touch screen or a person...
Addolorata Cavalluzzi, Berardina De Carolis, Sebas...
ACL
2003
15 years 9 months ago
iNeATS: Interactive Multi-Document Summarization
We describe iNeATS – an interactive multi-document summarization system that integrates a state-of-the-art summarization engine with an advanced user interface. Three main goals...
Anton Leuski, Chin-Yew Lin, Eduard H. Hovy
CG
2007
Springer
15 years 7 months ago
Teaching OpenGL shaders: Hands-on, interactive, and immediate feedback
This paper describes the teaching of OpenGL shaders with hands-on a program called glman. Hands-on education is at its best when the students’ experimental feedback loop is very...
Mike Bailey