7890 search results - page 425 / 1578 » The MathSAT 3 System |
195
Voted
JUCS
2007
15 years 6 months ago
2007
Abstract: A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, pro...
127
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
This paper describes the development of a new model of agent emotion elicitation called Nemesys. It enhances interfaces with emotional and social information. Nemesys is based on ...
172
click to vote
ICAT
2007
IEEE
16 years 1 months ago
2007
IEEE
This study concerns the development of 3D interfaces that aid the navigation of large data structures through the usage of the HSV color space, and the ensuing “spatial frames...
125
click to vote
ICAT
2003
IEEE
16 years 2 days ago
2003
IEEE
Conventional display in robotic surgery such as flat displays or stereoscopic displays decreases obtainable information around target tissue. For supporting manipulation and perfo...
157
click to vote
ISMAR
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we describe the Augmented Reality (AR) authoring system "PowerSpace" which allows fast and comfortable generation of AR worlds. The system presented uses t...