Sciweavers

4911 search results - page 738 / 983
» The Future of Object Technology
Sort
View
VMV
2000
122views Visualization» more  VMV 2000»
15 years 8 months ago
Building a Photo Studio for Measurement Purposes
A digital photo studio was built to generate high quality real world input data for various imagebased rendering and vision algorithms. Special attention was paid to carefully con...
Michael Goesele, Wolfgang Heidrich, Hendrik P. A. ...
WEBNET
2000
15 years 8 months ago
Creating corporate knowledge with the PADDLE system
: The integration of dispersed knowledge available in an organization is often referred to as corporate knowledge. The corporate knowledge of an organization can be built up, share...
Klaus Tochtermann, Andreas Kussmaul, David L. Hick...
164
Voted
SWAP
2007
15 years 7 months ago
Foaf-O-Matic - Solving the Identity Problem in the FOAF Network
An issue that is equally arising both from social networks and the Semantic Web is the fact that, without the consistent use of the same identifier for an object across systems, i...
Stefano Bortoli, Heiko Stoermer, Paolo Bouquet, Ho...
BIRTHDAY
2010
Springer
15 years 6 months ago
Programming Inductive Proofs - A New Approach Based on Contextual Types
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
Brigitte Pientka
CORR
2010
Springer
106views Education» more  CORR 2010»
15 years 6 months ago
A security framework for SOA applications in mobile environment
A Rapid evolution of mobile technologies has led to the development of more sophisticated mobile devices with better storage, processing and transmission power. These factors enab...
Johnneth de Sene Fonseca, Zair Abdelouahab, Deniva...