Sciweavers

63 search results - page 6 / 13
» The Reflexive System Inference Engine: A Tool to Use Metakno...
Sort
View
101
Voted
DLOG
2003
15 years 1 months ago
Graphical Interfaces for Racer: Querying DAML+OIL and RDF Documents
In this paper, we introduce RICE, a graphical application for interacting with the description logic inference server Racer. Comparing RICE with OilEd, we address the problem of v...
Ralf Möller, Ronald Cornet, Volker Haarslev
EDBTW
2004
Springer
15 years 5 months ago
Data Sharing and Querying for Peer-to-Peer Data Management Systems
In this work, we investigate mechanisms to support data sharing and querying in a peer-to-peer data management system, that is, a peer-to-peer system where each peer manages its ow...
Anastasios Kementsietsidis
76
Voted
SEFM
2005
IEEE
15 years 5 months ago
Precise Analysis of Memory Consumption using Program Logics
Memory consumption policies provide a means to control resource usage on constrained devices, and play an important role in ensuring the overall quality of software systems, and i...
Gilles Barthe, Mariela Pavlova, Gerardo Schneider
FLAIRS
2007
15 years 1 months ago
The Evolution and Evaluation of an Internet Search Tool for Information Analysts
We are working on a project aimed at building next generation analyst support tools that focus analysts’ attention on the most critical and novel information found within the da...
Elizabeth T. Whitaker, Robert L. Simpson Jr.
IBPRIA
2007
Springer
15 years 1 months ago
Automatic Learning of Conceptual Knowledge in Image Sequences for Human Behavior Interpretation
This work describes an approach for the interpretation and explanation of human behavior in image sequences, within the context of a Cognitive Vision System. The information source...
Pau Baiget, Carles Fernández Tena, F. Xavie...