3428 search results - page 573 / 686 » Making the Case |
219
click to vote
ICFEM
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...
187
click to vote
OOPSLA
2009
Springer
16 years 29 days ago
2009
Springer
Programmers build large-scale systems with multiple languages to reuse legacy code and leverage languages best suited to their problems. For instance, the same program may use Jav...
175
click to vote
SAGT
2009
Springer
16 years 29 days ago
2009
Springer
In a scheduling game, each player owns a job and chooses a machine to execute it. While the social cost is the maximal load over all machines (makespan), the cost (disutility) of ...
164
click to vote
COMPGEOM
2009
ACM
16 years 28 days ago
2009
ACM
Topological persistence has proven to be a key concept for the study of real-valued functions defined over topological spaces. Its validity relies on the fundamental property tha...
177
click to vote
COMPGEOM
2009
ACM
16 years 28 days ago
2009
ACM
Following recent work of Clarkson, we translate the coreset framework to the problems of finding the point closest to the origin inside a polytope, finding the shortest distance...