7821 search results - page 1478 / 1565 » Nested Ordered Sets and their Use for Data Modelling |
118
click to vote
WIOPT
2010
IEEE
14 years 11 months ago
2010
IEEE
— By analyzing people’s contact patterns over time, it is possible to build efficient delay tolerant networking (DTN) algorithms and derive important data for parameterizing an...
118
click to vote
CVPR
2011
IEEE
14 years 4 months ago
2011
IEEE
Catheter tracking has become more and more important in recent interventional applications. It provides real time guidance for the physicians and can be used as motion compensated...
192
click to vote
GIS
2005
ACM
16 years 1 months ago
2005
ACM
Numerous raster maps are available on the Internet, but the geographic coordinates of the maps are often unknown. In order to determine the precise location of a raster map, we ex...
96
Voted
ICFP
2006
ACM
16 years 17 days ago
2006
ACM
Often, independent organizations define and advocate different XML formats for a similar purpose and, as a result, application programs need to mutually convert between such forma...
102
Voted
POPL
2010
ACM
15 years 10 months ago
2010
ACM
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...