2048 search results - page 382 / 410 » The Tale of Two Projects - Abstract |
124
click to vote
FSTTCS
2006
Springer
15 years 7 months ago
2006
Springer
A center-transversal line for two finite point sets in R3 is a line with the property that any closed halfspace that contains it also contains at least one third of each point set...
110
click to vote
ISMDA
2000
Springer
15 years 6 months ago
2000
Springer
In this work, we describe a project, jointly started by DEIS University of Bologna and Dianoema S.p.A., in order to build a system which is able to monitor nosocomial infections. T...
138
click to vote
RECOMB
2000
Springer
15 years 6 months ago
2000
Springer
In physical mapping, one orders a set of genetic landmarks or a library of cloned fragments of DNA according to their position in the genome. Our approach to physical mapping divi...
138
click to vote
ICCD
1995
IEEE
15 years 6 months ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...
114
click to vote
VVS
1995
IEEE
15 years 6 months ago
1995
IEEE
This paper explores the use of multi-dimensional trees to provide spatial and temporal e ciencies in imaging large data sets. Each node of the tree contains a model of the data in...