11017 search results - page 1898 / 2204 » Closure Systems and their Structure |
202
click to vote
ICLP
2010
Springer
15 years 11 months ago
2010
Springer
Probabilistic Logic Programming is an active field of research, with many proposals for languages, semantics and reasoning algorithms. One such proposal, Logic Programming with A...
184
click to vote
KDD
2010
ACM
15 years 11 months ago
2010
ACM
The process of extracting useful knowledge from large datasets has become one of the most pressing problems in today’s society. The problem spans entire sectors, from scientists...
207
click to vote
ESOP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. General refinement types allow types to be refined by predicates written in a general-purpose programming language, and can express function pre- and postconditions and d...
250
click to vote
PODC
2010
ACM
15 years 11 months ago
2010
ACM
An edge dominating set for a graph G is a set D of edges such that each edge of G is in D or adjacent to at least one edge in D. This work studies deterministic distributed approx...
216
click to vote
EUROSYS
2007
ACM
15 years 11 months ago
2007
ACM
The majority of aspect-oriented middlewares supporting dynamic aspect weaving fail to preserve important safety properties while weaving or unweaving a distributed aspect at runti...