12841 search results - page 339 / 2569 » PL-detective: experiences and results |
164
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper we prove that the transitive closure of a nondeterministic octagonal relation using integer counters can be expressed in Presburger arithmetic. The direct c...
144
click to vote
ADC
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents a detailed study of the behavior of three different content-based collaborative filtering metrics (correlation, cosine and mean squared difference) when they a...
218
click to vote
LORI
2009
Springer
16 years 1 months ago
2009
Springer
Arrow’s Theorem is a central result in social choice theory. It states that, under certain natural conditions, it is impossible to aggregate the preferences of a finite set of i...
145
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— Proactive replanning attempts to predict scheduling problems or opportunities and adapt to them throughout a schedule’s execution. By continuously predicting a task’s remai...
155
click to vote
ARITH
2007
IEEE
16 years 1 months ago
2007
IEEE
The compensated Horner algorithm improves the accuracy of polynomial evaluation in IEEE-754 floating point arithmetic: the computed result is as accurate as if it was computed wi...