648 search results - page 79 / 130 » Using Criticalities as a Heuristic for Answer Set Programmin... |
SIGCSE
2004
ACM
15 years 4 months ago
2004
ACM
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...
108
click to vote
SIGSOFT
2003
ACM
15 years 4 months ago
2003
ACM
1 Step-wise refinement (SWR) asserts that complex programs can be derived from simple programs by progressively adding features. The length of a program specification is the number...
98
Voted
ICLP
2007
Springer
15 years 5 months ago
2007
Springer
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...
SIGMOD
1998
ACM
15 years 3 months ago
1998
ACM
Semistructured data is characterized by the lack of any fixed and rigid schema, although typically the data hassomeimplicitstructure. While thelack offixedschemamakesextracting ...
CCS
2006
ACM
15 years 2 months ago
2006
ACM
We address the problem of replaying an application dialog between two hosts. The ability to accurately replay application dialogs is useful in many security-oriented applications,...