2625 search results - page 260 / 525 » Applications 2000 |
161
click to vote
ICCD
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper; we present a noise-immune highperformance static circuit family suitable for low-voltage operation called skewed logic. Skewed logic circuits, in comparison with Do...
176
click to vote
ICDCSW
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper, we describe a new paradigm for information retrieval in which the retrieval target is based on a model. Three types of models – linear, finite state, and knowledg...
144
Voted
ICECCS
2000
IEEE
15 years 10 months ago
2000
IEEE
The goal of result-verificationis toprove that one execution run of a program satisjes its speciJcation. Compared with iniplenzentation-verification,result-verification has a larg...
147
click to vote
ICIP
2000
IEEE
15 years 10 months ago
2000
IEEE
Minimal surface regularization has been used in several applications ranging from stereo to image segmentation, sometimes hidden as a graph-cut discrete formulation, or as a stric...
156
click to vote
ICMCS
2000
IEEE
15 years 10 months ago
2000
IEEE
Networking of MPEG-4 content is the topic of ongoing standardization efforts in the ISO MPEG and IETF. In this paper, we describe a complete architecture for the transport of MPEG...