Sciweavers

1548 search results - page 222 / 310
» Client-Site Query Extensions
Sort
View
UML
2000
Springer
15 years 5 months ago
A UML-based Methodology for Hypermedia Design
We propose a methodology for hypermedia design which is based on a UML profile for the hypermedia domain. Starting with a use case analysis and a conceptual model of the applicatio...
Rolf Hennicker, Nora Koch
141
Voted
DASFAA
1991
IEEE
208views Database» more  DASFAA 1991»
15 years 5 months ago
The Multilevel Grid File - A Dynamic Hierarchical Multidimensional File Structure
: We present a new dynamic hashedfile organization that solvesmostproblems associatedwith the directory of the grid file proposed by Nievergelt et al. Our schemeis a multilevel ext...
Kyu-Young Whang, Ravi Krishnamurthy
AAAI
2008
15 years 4 months ago
Credulous Resolution for Answer Set Programming
The paper presents a calculus based on resolution for credulous reasoning in Answer Set Programming. The new approach allows a top-down and goal directed resolution, in the same s...
Piero A. Bonatti, Enrico Pontelli, Tran Cao Son
DLOG
2007
15 years 4 months ago
A Proof Theory for DL-Lite
Abstract. In this work we propose an alternative approach to inference in DLLite, based on a reduction to reasoning in an extension of function-free Horn Logic (EHL). We develop a ...
Diego Calvanese, Evgeny Kharlamov, Werner Nutt
AUTONOMICS
2008
ACM
15 years 4 months ago
R-P2P: a data centric DTN middleware with interconnected throwboxes
In this paper we describe R-P2P, a novel system meant to support the search and retrieval of data in a given area. RP2P couples opportunistic wireless communications between mobil...
Francesco De Pellegrini, Iacopo Carreras, Daniele ...