511 search results - page 24 / 103 » More Precise Partition Abstractions |
WWW
2007
ACM
14 years 9 months ago
2007
ACM
We address the problem of identifying the domain of online databases. More precisely, given a set F of Web forms automatically gathered by a focused crawler and an online database...
MICCAI
2002
Springer
14 years 9 months ago
2002
Springer
Abstract. An endoscopic solo surgery simulator was designed to quantitatively evaluate human-machine interface in robotic camera positioning systems. Our simulator can assess not o...
DBPL
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We propose a framework in which query sizes can be estimated from arbitrary statistical assertions on the data. In its most general form, a statistical assertion states t...
LCPC
2000
Springer
14 years 11 days ago
2000
Springer
Abstract. This paper describes how the use of software libraries, which is prevalent in high performance computing, can benefit from compiler optimizations in much the same way tha...
LOBJET
2000
13 years 8 months ago
2000
ABSTRACT. As informal methods do little to help their use for concurrent and distributed programming, one of the most challenging current tasks is to build tools based on formal me...