Sciweavers

1652 search results - page 237 / 331
» Integration in Real PCF
Sort
View
ICSE
2001
IEEE-ACM
15 years 9 months ago
A Scalable Formal Method for Design and Automatic Checking of User Interfaces
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
Jean Berstel, Stefano Crespi-Reghizzi, Gilles Rous...
OHS
2001
Springer
15 years 9 months ago
FOHM+RTSP: Applying Open Hypermedia and Temporal Linking to Audio Streams
Abstract. The World Wide Web (WWW) was originally designed to handle relatively simple files, containing just text and graphics. With the development of more advanced Web browsers...
Neil Ridgway, David De Roure
SSD
2001
Springer
162views Database» more  SSD 2001»
15 years 9 months ago
Interval Sequences: An Object-Relational Approach to Manage Spatial Data
The design of external index structures for one- and multidimensional extended objects is a long and well studied subject in basic database research. Today, more and more commercia...
Hans-Peter Kriegel, Marco Pötke, Thomas Seidl
ICMCS
2000
IEEE
126views Multimedia» more  ICMCS 2000»
15 years 9 months ago
Automatic 3D City Construction System using Omni Camera
Video analysis and mixed reality (MR) systems, which integrate the virtual world and the real world, are important topics of multimedia research. In this paper, we propose an ef...
Hiroshi Kawasaki, Katsushi Ikeuchi, Masao Sakauchi
VR
2000
IEEE
127views Virtual Reality» more  VR 2000»
15 years 9 months ago
Physically-based Manipulation on the Responsive Workbench
This paper describes how a physical simulation can be integrated with our Responsive Workbench system to support complex assembly tasks involving multiple hands and users. Our sys...
Bernd Fröhlich, Henrik Tramberend, Andrew C. ...