4099 search results - page 639 / 820 » A Framework for Interactive Proof |
123
click to vote
LSSC
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. In this work we solve the Barker-Ferry equation which accounts for the quantum character of the electron-phonon interaction in semiconductors in the framework of the Mont...
123
click to vote
SEMWEB
2001
Springer
15 years 9 months ago
2001
Springer
One vision of the “Semantic Web” of the future is that software agents will interact with each other using formal metadata that reveal their interfaces. We examine one plausibl...
137
click to vote
CA
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper presents a sculptured solid modeling system founded upon dynamic Catmull-Clark subdivision-based solids of arbitrary topology. Our primary contribution is that we integ...
118
click to vote
DATE
2000
IEEE
15 years 9 months ago
2000
IEEE
Dynamic power management saves power by shutting down idle devices. Several management algorithms have been proposed and demonstrated effective in certain applications. We quantit...
149
click to vote
ICMCS
2000
IEEE
15 years 9 months ago
2000
IEEE
In this paper, a non-linear relevance feedback mechanism is proposed for increasing the performance and the reliability of content-based retrieval systems. In particular, the huma...