1082 search results - page 139 / 217 » interactions 2000 |
JAR
2000
13 years 9 months ago
2000
We present a formal specification and verification approach for industrial product data bases containing Boolean logic formulae to express constraints. Within this framework, globa...
JODL
2000
13 years 9 months ago
2000
The internet is rapidly becoming the first place for researchers to publish documents, but at present they receive little support in searching, tracking, analyzing or debating conc...
JVCA
2000
13 years 9 months ago
2000
This paper presents a virtual sculpting method for interactive 3D object deformation. The method is based on the use of an electronic glove. A parametric control hand surface defi...
MMS
2000
13 years 9 months ago
2000
Abstract. The single-system approach is no longer sufficient to handle the load on popular Internet servers, especially for those offering extensive multimedia content. Such servic...
NAR
2000
13 years 9 months ago
2000
The Structural Classification of Proteins (SCOP) database provides a detailed and comprehensive description of the relationships of all known proteins structures. The classificati...