7890 search results - page 1218 / 1578 » The MathSAT 3 System |
186
click to vote
PE
2002
Springer
15 years 6 months ago
2002
Springer
Previous analyses of scalable streaming protocols for delivery of stored multimedia have largely focused on how the server bandwidth required for full-file delivery scales as the ...
164
click to vote
RC
1998
15 years 6 months ago
1998
Abstract. The epsilon-inflation proved to be useful and necessary in many verification algorithms. Different definitions of an epsilon-inflation are possible, depending on the...
190
click to vote
SIAMCOMP
1998
15 years 6 months ago
1998
This paper describes new methods for maintaining a point-location data structure for a dynamically changing monotone subdivision S. The main approach is based on the maintenance of...
200
click to vote
TCS
2002
15 years 6 months ago
2002
This paper discusses a mathematical concept of language that models both artificial and natural languages and thus provides a framework for a unified language processing methodolo...
166
click to vote
TITB
2002
15 years 6 months ago
2002
This paper reports on technology developments aimed at improving the state of the art for image-guided minimally invasive spine procedures. Back pain is a major health problem with...