Sciweavers

390 search results - page 63 / 78
» Virtual Attribute Subsetting
Sort
View
IJCAI
1997
13 years 11 months ago
Recursive Plans for Information Gathering
Generating query-answering plans for information gathering agents requires to translate a user query, formulated in terms of a set of virtual relations, to a query that uses relat...
Oliver M. Duschka, Alon Y. Levy
FUIN
2006
77views more  FUIN 2006»
13 years 9 months ago
The Impact of seq on Free Theorems-Based Program Transformations
Parametric polymorphism constrains the behavior of pure functional programs in a way that allows the derivation of interesting theorems about them solely from their types, i.e., vi...
Patricia Johann, Janis Voigtländer
ENTCS
2007
128views more  ENTCS 2007»
13 years 9 months ago
Optimisation Validation
We introduce the idea of optimisation validation, which is to formally establish that an instance of an optimising transformation indeed improves with respect to some resource mea...
David Aspinall, Lennart Beringer, Alberto Momiglia...
ISVC
2010
Springer
13 years 8 months ago
Organizing and Browsing Image Search Results Based on Conceptual and Visual Similarities
This paper presents a novel approach for searching images online using textual queries and presenting the resulting images based on both conceptual and visual similarities. Given a...
Grant Strong, Enamul Hoque, Minglun Gong, Orland H...
ICUMT
2009
13 years 7 months ago
Service and Resource Discovery supports over P2P overlays
We describe the main architecture and the design principles of the Service/Resource Discovery System (SRDS), a component of the XtreemOS Operating System. XtreemOS is a Linux exten...
Emanuele Carlini, Massimo Coppola, Patrizio Dazzi,...