Sciweavers

4440 search results - page 743 / 888
» The space of design
Sort
View
SEBD
2007
121views Database» more  SEBD 2007»
15 years 8 months ago
Query Answering in Expressive Variants of DL-Lite
The use of ontologies in various application domains, such as Data Integration, the Semantic Web, or ontology-based data management, where ontologies provide the access to large am...
Alessandro Artale, Diego Calvanese, Roman Kontchak...
SIROCCO
2007
15 years 8 months ago
Labeling Schemes with Queries
Recently, quite a few papers studied methods for representing network properties by assigning informative labels to the vertices of a network. Consulting the labels given to any t...
Amos Korman, Shay Kutten
AIPS
2004
15 years 8 months ago
Guiding Planner Backjumping Using Verifier Traces
In this paper, we show how a planner can use a modelchecking verifier to guide state space search. In our work on hard real-time, closed-loop planning, we use a modelchecker'...
Robert P. Goldman, Michael J. S. Pelican, David J....
AVI
2004
15 years 8 months ago
SWAPit: a multiple views paradigm for exploring associations of texts and structured data
Visualization interfaces that offer multiple coordinated views on a particular set of data items are useful for navigating and exploring complex information spaces. In this paper ...
Andreas Becks, Christian Seeling
COOP
2004
15 years 8 months ago
Backdoor Creativity: Collaborative Creativity in Technology Supported Teams
This case study describes collaborative creativity in technology-supported teams with the task of making an interactive artefact. The teams work in the iLounge, which is designed a...
Hillevi Sundholm, Henrik Artman, Robert Ramberg