Sciweavers

7890 search results - page 479 / 1578
» The MathSAT 3 System
Sort
View
DAGSTUHL
2008
15 years 8 months ago
08061 Executive Summary -- Types, Logics and Semantics for State
From 3 February to 8 February 2008, the Dagstuhl Seminar 08061 State" Conference and Research Center (IBFI), Schloss Dagstuhl. 45 researchers, with interests and expertise in ...
Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morr...
HCI
2007
15 years 8 months ago
Serial Hanging Out: Rapid Ethnographic Needs Assessment in Rural Settings
This paper presents an ethnographic method for assessing user needs in designing for rural settings. “Serial Hanging Out” consists of short-term participant observation with mu...
Jaspal S. Sandhu, P. Altankhuyag, D. Amarsaikhan
CLA
2004
15 years 8 months ago
The Fuzzy Classifier by Concept Localization in a Lattice of Concepts
We discuss in this paper several approaches exploiting a base of concepts organized under a lattice in the Fuzzy Classifier by Concept Localization (FC2L) system. We present the 3F...
Samir Elloumi, Ch. Ben Youssef, Sadok Ben Yahia
ICAD
2004
15 years 8 months ago
Soundstudio 4D: A VR Interface for Gestural Composition of Spatial Soundscapes
We describe a software system which enables computergenerated soundscapes to be synthesised, spatialised and edited using a gestural interface. Iterative design and testing of the...
James Sheridan, Gaurav Sood, Thomas Jacob, Henry G...
IJCAI
2003
15 years 8 months ago
Virtual World as Interface for Human-Robot Interaction
This article describes preliminary work on a research environment called Virtual Synergy to represent a shared virtual map of an area for multiple autonomous robots by modifying t...
Eric Normand, Sheila Tejada