Sciweavers

4184 search results - page 522 / 837
» A Data Transformation System for Biological Data Sources
Sort
View
ICVS
1999
Springer
15 years 11 months ago
Ascender II, a Visual Framework for 3D Reconstruction
This paper presents interim results from an ongoing project on aerial image reconstruction. One important task in image interpretation is the process of understanding and identifyi...
Maurício Marengoni, Christopher O. Jaynes, ...
152
Voted
ACNS
2005
Springer
111views Cryptology» more  ACNS 2005»
16 years 7 days ago
Digital Signatures Do Not Guarantee Exclusive Ownership
Digital signature systems provide a way to transfer trust from the public key to the signed data; this is used extensively within PKIs. However, some applications need a transfer o...
Thomas Pornin, Julien P. Stern
TACAS
2005
Springer
106views Algorithms» more  TACAS 2005»
16 years 5 days ago
Dependent Types for Program Understanding
Abstract. Weakly-typed languages such as Cobol often force programrepresent distinct data abstractions using the same low-level physical type. In this paper, we describe a techniqu...
Raghavan Komondoor, Ganesan Ramalingam, Satish Cha...
ICTAC
2004
Springer
16 years 1 days ago
Verifying OWL and ORL Ontologies in PVS
The Semantic Web vision is being realized to reach the full potential of the Web. Semantic data modeling is the foundation of the Semantic Web. The Web Ontology Language (OWL) and ...
Jin Song Dong, Yuzhang Feng, Yuan-Fang Li
HICSS
2003
IEEE
99views Biometrics» more  HICSS 2003»
15 years 12 months ago
"Yeah, the Rush ain't here yet - Take a break": Creation and Use of an Artifact as Organizational Memory
In order to understand organizational memory, it is important to understand how things become adopted as memory resources in organizations. In this paper, we describe the genesis ...
Christine Halverson, Mark S. Ackerman