1552 search results - page 151 / 311 » From Automatic Structures to Borel Structures |
108
Voted
SAC
2000
ACM
15 years 8 months ago
2000
ACM
This paper presents a model for describing the synchronization between several media delivered over a network in a Web-based environment. Synchronization concerns the download and...
160
Voted
CARDIS
2000
Springer
15 years 8 months ago
2000
Springer
This article describes a Java Card programming environment which to a large extent is generated from formal specifications of the syntax and semantics of Java Card, the JCRE (Jav...
144
Voted
AFRIGRAPH
2001
ACM
15 years 7 months ago
2001
ACM
: Cross-sectioning is a popular method for visualizing the complicated inner structures of three-dimensional volume datasets. However, the process is usually manual, meaning that a...
145
Voted
PRICAI
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. This article discusses automatic identifications of functional structures of artifacts from given behavioral models of components and their connection information (called...
117
Voted
DELOS
2007
15 years 5 months ago
2007
The similarity search has become a fundamental computational task in many applications. One of the mathematical models of the similarity – the metric space – has drawn attenti...