Sciweavers

966 search results - page 97 / 194
» Communicating Answer Set Programs
Sort
View
105
Voted
PLDI
2012
ACM
13 years 5 months ago
Reagents: expressing and composing fine-grained concurrency
Efficient communication and synchronization is crucial for finegrained parallelism. Libraries providing such features, while indispensable, are difficult to write, and often ca...
Aaron Turon
133
Voted
ICLP
2007
Springer
15 years 8 months ago
DLVHEX-SPARQL: A SPARQL Compliant Query Engine Based on DLVHEX
This paper describes the dlvhex SPARQL plugin, a query processor for the upcoming Semantic Web query language standard by W3C. We report on the implementation of this languages usi...
Axel Polleres, Roman Schindlauer
118
Voted
CORR
2007
Springer
98views Education» more  CORR 2007»
15 years 2 months ago
Guarded Hybrid Knowledge Bases
Recently, there has been a lot of interest in the integration of Description Logics and rules on the Semantic Web. We define guarded hybrid knowledge bases (or g-hybrid knowledge...
Stijn Heymans, Jos de Bruijn, Livia Predoiu, Crist...
SIGCSE
2004
ACM
140views Education» more  SIGCSE 2004»
15 years 8 months ago
CFX: finding just the right examples for CS1
Finding just the right example to answer a question can be difficult for CS1 students and teachers. For this to work well there must be an intuitive interface coupled to an approp...
Dale Reed, Sam John, Ryan Aviles, Feihong Hsu
167
Voted
GPCE
2009
Springer
15 years 5 months ago
Mapping problem-space to solution-space features: a feature interaction approach
Mapping problem-space features into solution-space features is a fundamental configuration problem in software product line engineering. A configuration problem is defined as g...
Frans Sanen, Eddy Truyen, Wouter Joosen