Sciweavers

1295 search results - page 81 / 259
» Technology Challenges in a Data Warehouse
Sort
View
FLOPS
2010
Springer
14 years 4 months ago
Beluga: Programming with Dependent Types, Contextual Data, and Contexts
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
Brigitte Pientka
SEMWEB
2007
Springer
14 years 4 months ago
Sindice.com: Weaving the Open Linked Data
Developers of Semantic Web applications face a challenge with respect to the decentralised publication model: where to find statements about encountered resources. The “linked d...
Giovanni Tummarello, Renaud Delbru, Eyal Oren
AIS
2006
Springer
13 years 10 months ago
"Carnivore personal edition": exploring distributed data surveillance
The goal of this paper is to offer, in straight forward terms, some practical insight into distributed data surveillance. I will use the software project Carnivore as a case study....
Alexander R. Galloway
RAS
2010
108views more  RAS 2010»
13 years 8 months ago
Swarm-supported outdoor localization with sparse visual data
— The localization of mobile systems with video data is a challenging field in robotic vision research. Apart from artificial environmental support technologies like GPS locali...
Marcel Kronfeld, Christian Weiss, Andreas Zell
CIKM
1999
Springer
14 years 2 months ago
Metadata and Data Structures for the Historical Newspaper Digital Library
We examine metadata and data-structure issues for the Historical Newspaper Digital Library. This project proposes to digitize and then do OCR and linguisting processing on several...
Robert B. Allen, John Schalow