Sciweavers

3971 search results - page 589 / 795
» On the Use of Properties in Java Applications
Sort
View
SAS
2004
Springer
136views Formal Methods» more  SAS 2004»
15 years 11 months ago
Constraint-Based Linear-Relations Analysis
Abstract. Linear-relations analysis of transition systems discovers linear invariant relationships among the variables of the system. These relationships help establish important s...
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Man...
ICC
1997
IEEE
100views Communications» more  ICC 1997»
15 years 10 months ago
A Generalized Grouping and Retrieval Scheme for Stored MPEG Video
MPEG, in addition to being an international standard, is currently the most popular coding scheme for stored video. For several applications that require stored video, such as vid...
Senthil Sengodan, Victor O. K. Li
KDD
2000
ACM
121views Data Mining» more  KDD 2000»
15 years 9 months ago
Mining high-speed data streams
Many organizations today have more than very large databases; they have databases that grow without limit at a rate of several million records per day. Mining these continuous dat...
Pedro Domingos, Geoff Hulten
WSCG
2004
149views more  WSCG 2004»
15 years 7 months ago
Shape-Preserving Parametrization of Genus 0 Surfaces
The parametrization of 3-d meshes can be used in many fields of computer graphics. Mesh-texturing, mesh-retriangulation or 3-d morphing are only few applications for which a mesh ...
Hermann Birkholz
JASIS
2000
76views more  JASIS 2000»
15 years 6 months ago
Guided paths through Web-based collections: Design, experiences, and adaptations
Digital libraries need to facilitate the use of digital information in a variety of settings. One approach to making information useful is to enable its application to situations ...
Frank M. Shipman III, Richard Furuta, Donald Brenn...