Sciweavers

34 search results - page 3 / 7
» dls 2008
Sort
View
DLOG
2008
14 years 11 months ago
Conjunctive Query Answering in SH using Knots
Answering conjunctive queries (CQs) has been recognized as a key task for the usage of Description Logics (DLs) in a number of applications. The problem has been studied by many au...
Magdalena Ortiz, Mantas Simkus, Thomas Eiter
DLS
2008
264views Languages» more  DLS 2008»
14 years 10 months ago
Contextual values
Context-oriented programming proposes to treat execution context explicitly and to provide means for context-dependent adaptation at runtime. There are many mechanisms that can be...
Éric Tanter
DLS
2008
213views Languages» more  DLS 2008»
14 years 11 months ago
A parsing machine for PEGs
Parsing Expression Grammar (PEG) is a recognition-based foundation for describing syntax that renewed interest in top-down parsing approaches. Generally, the implementation of PEG...
Sérgio Medeiros, Roberto Ierusalimschy
DLS
2008
165views Languages» more  DLS 2008»
14 years 11 months ago
Filtered dispatch
Predicate dispatching is a generalized form of dynamic dispatch, which has strong limitations when arbitrary predicates of the underlying base language are used. Unlike classes, w...
Pascal Costanza, Charlotte Herzeel, Jorge Vallejos...
JSAT
2008
113views more  JSAT 2008»
14 years 9 months ago
Combining Adaptive and Dynamic Local Search for Satisfiability
In this paper we describe a stochastic local search (SLS) procedure for finding models of satisfiable propositional formulae. This new algorithm, gNovelty+ , draws on the features...
Duc Nghia Pham, John Thornton, Charles Gretton, Ab...