11211 search results - page 1661 / 2243 » Rank-Sensitive Data Structures |
217
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
The paper introduces the notion of off-line justification for Answer Set Programming (ASP). Justifications provide a graph-based explanation of the truth value of an atom w.r.t. a ...
190
click to vote
ENTCS
2008
15 years 7 months ago
2008
As an extension to Floyd-Hoare logic, separation logic has been used to facilitate reasoning about imperative programs manipulating shared mutable data structures. Recently, it ha...
202
click to vote
ENTCS
2008
15 years 7 months ago
2008
Constraint automata have been used as an operational model for component connectors described in the coordination language Reo which specifies the cooperation and communication of...
167
click to vote
CG
2006
Springer
15 years 7 months ago
2006
Springer
We propose an acceleration scheme for real-time many-body dynamic collision detection. We kinetize the sweep and prune method for many-body collision pruning, extending its applic...
167
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
A concept is proposed to extend authorised translations of documents to electronically signed, digital documents. Central element of the solution is an electronic seal, embodied a...