258 search results - page 35 / 52 » A High-Level Language for Modeling Algorithms and Their Prop... |
ASIAN
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We present a logic-based framework to evaluate the resilience of computer networks in the face of incidents, i.e., attacks from malicious intruders as well as random faul...
SIGIR
2012
ACM
11 years 11 months ago
2012
ACM
We present a novel interpretation of Clarity [5], a widely used query performance predictor. While Clarity is commonly described as a measure of the “distance” between the lan...
ICALP
2003
Springer
14 years 1 months ago
2003
Springer
We provide a new simpler approach to the on-line load balancing problem in the case of restricted assignment of temporary weighted tasks. The approach is very general and allows to...
VISUALIZATION
2005
IEEE
14 years 2 months ago
2005
IEEE
The study of physical models for knots has recently received much interest in the mathematics community. In this paper, we consider the ropelength model, which considers knots tie...
TOG
2008
13 years 8 months ago
2008
Motivated by applications in architecture and manufacturing, we discuss the problem of covering a freeform surface by single curved panels. This leads to the new concept of semi-d...