Sciweavers

4421 search results - page 252 / 885
» Libraries
Sort
View
146
Voted
ISVC
2005
Springer
15 years 9 months ago
Large-Scale Geospatial Indexing for Image-Based Retrieval and Analysis
We describe a method for indexing and retrieving high-resolution image regions in large geospatial data libraries. An automated feature extraction method is used that generates a u...
Kenneth W. Tobin, Budhendra L. Bhaduri, Eddie A. B...
109
Voted
SIGADA
2005
Springer
15 years 9 months ago
Using ASIS to generate C++ bindings
In this paper, we describe an approach to automatically creating C++ bindings to Ada libraries utilizing capabilities of the Ada Semantic Interface Specification (ASIS). We discus...
Howard Ausden, Karl A. Nyberg
152
Voted
ICCS
2004
Springer
15 years 9 months ago
Graphical and Computational Representation of Groups
An important part of the computer science is focused on the links that can be established between group theory and graph theory. Cayley graphs can establish such a link but meet so...
Alain Bretto, Luc Gillibert
134
Voted
SAS
2004
Springer
132views Formal Methods» more  SAS 2004»
15 years 9 months ago
Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language
Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality ...
Qi Sun, Anindya Banerjee, David A. Naumann
VLDB
2004
ACM
121views Database» more  VLDB 2004»
15 years 9 months ago
An Automatic Data Grabber for Large Web Sites
We demonstrate a system to automatically grab data from data intensive web sites. The system first infers a model that describes at the intensional level the web site as a collec...
Valter Crescenzi, Giansalvatore Mecca, Paolo Meria...