7167 search results - page 570 / 1434 » Answer Set Programming |
152
click to vote
ENTCS
2002
15 years 4 months ago
2002
Abstract. We present an extension to linear-time temporal logic (LTL) that combines the temporal specification with the collection of statistical data. By collecting statistics ove...
120
Voted
TALG
2010
15 years 3 months ago
2010
We establish the first nontrivial lower bounds on timespace tradeoffs for the selection problem. We prove that any comparison-based randomized algorithm for finding the median ...
239
click to vote
VL
2010
IEEE
15 years 3 months ago
2010
IEEE
SOFIA (Artemis project: http://www.sofiaproject.eu/) focuses on answering the challenge of creating smart environments and its goal is to make information that resides in the phys...
150
Voted
GG
2010
Springer
15 years 3 months ago
2010
Springer
Mesh subdivision algorithms are usually specified informally using graphical schemes defining local mesh refinements. These algorithms are then implemented efficiently in an impera...
173
Voted
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
This paper presents the results of the first study of the uniqueness of source code. We define the uniqueness of a unit of source code with respect to the entire body of written s...