4744 search results - page 867 / 949 » Connected Computing |
107
click to vote
CONCUR
2001
Springer
15 years 4 months ago
2001
Springer
A key issue in the design of a model-checking tool is the choice of the formal language with which properties are specified. It is now recognized that a good language should exten...
118
click to vote
IWVF
2001
Springer
15 years 4 months ago
2001
Springer
Volumetric images of small mortar samples under load are acquired by X-ray microtomography. The images are binarized at many different threshold values, and over a million connecte...
116
click to vote
FOCS
2000
IEEE
15 years 4 months ago
2000
IEEE
Randomness extractors convert weak sources of randomness into an almost uniform distribution; the conversion uses a small amount of pure randomness. In algorithmic applications, t...
VISUALIZATION
2000
IEEE
15 years 4 months ago
2000
IEEE
We introduce a new subdivision-surface wavelet transform for arbitrary two-manifolds with boundary that is the first to use simple lifting-style filtering operations with bicubi...
122
click to vote
SIGCSE
2000
ACM
15 years 4 months ago
2000
ACM
Classifying is a central activity in object-oriented programming and distinguishes it from procedural programming. Traditional logic, initiated by Aristotle, assigns classificatio...