Sciweavers

1026 search results - page 79 / 206
» Semantic Components for Timetabling
Sort
View
124
Voted
VLDB
1994
ACM
162views Database» more  VLDB 1994»
15 years 6 months ago
NAOS - Efficient and Modular Reactive Capabilities in an Object-Oriented Database System
This paper describes the design and implementation of NAOS, an active rule component in the object-oriented database system 02. The contribution of this work is related to two mai...
Christine Collet, Thierry Coupaye, T. Svensen
134
Voted
FLAIRS
2006
15 years 4 months ago
Uncertainty Reasoning in Description Logics: A Generic Approach
Description Logics (DL) are gaining more popularity as the foundation of ontology languages for the Semantic Web. As most information in real life is imperfect, there has been an ...
Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri
163
Voted
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
13 years 10 months ago
Proving Reachability Using FShell - (Competition Contribution)
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
Andreas Holzer, Daniel Kroening, Christian Schallh...
95
Voted
DEXAW
2007
IEEE
113views Database» more  DEXAW 2007»
15 years 8 months ago
A Flexible Architecture for Context-Aware Physical Hypermedia
In this paper we present the rationale and the main components for a modular and extensible architecture for building and deploying physical hypermedia software. We show that this...
Cecilia Challiol, Andres Fortier, Silvia E. Gordil...
111
Voted
WOA
2004
15 years 4 months ago
Design and development of a visual environment for writing DyLOG programs
Abstract-- In this article we present a visual development environment for writing DyLOG programs, explaining the motivations to this work and the main design choices. We will also...
Claudio Schifanella, Luca Lusso, Matteo Baldoni, C...