Sciweavers

959 search results - page 104 / 192
» Possible and Necessary h-Indices
Sort
View
CIE
2005
Springer
14 years 2 months ago
Recursion and Complexity
1 and 2, and in the last Section 4 of this abstract I will outline very briefly some conclusions about recursion and complexity which I believe that they support. 1 Partial Algebr...
Yiannis N. Moschovakis
CRYPTO
2005
Springer
72views Cryptology» more  CRYPTO 2005»
14 years 2 months ago
Unconditional Characterizations of Non-interactive Zero-Knowledge
Abstract. Non-interactive zero-knowledge (NIZK) proofs have been investigated in two models: the Public Parameter model and the Secret Parameter model. In the former, a public stri...
Rafael Pass, Abhi Shelat
ER
2005
Springer
130views Database» more  ER 2005»
14 years 2 months ago
Conceptual Model Based Semantic Web Services
To achieve the dream of the semantic web, it must be possible for ordinary users to invoke services. Exactly how to turn this dream into reality is a challenging opportunity and a...
Muhammed Al-Muhammed, David W. Embley, Stephen W. ...
ICCS
2005
Springer
14 years 2 months ago
Dynamic Data Driven Coupling of Continuous and Discrete Methods for 3D Tracking
We present a new framework for robust 3D tracking, using a dynamic data driven coupling of continuous and discrete methods to overcome their limitations. Our method uses primarily ...
Dimitris N. Metaxas, Gabriel Tsechpenakis
ICFEM
2005
Springer
14 years 2 months ago
Visualizing and Simulating Semantic Web Services Ontologies
The development of Web Services has transformed the World Wide Web into a more application-aware information portal. The various standards ensure that Web Services are interpretabl...
Jun Sun 0001, Yuan-Fang Li, Hai H. Wang, Jing Sun