Sciweavers

2292 search results - page 312 / 459
» A Data Model and Data Structures for Moving Objects Database...
Sort
View
SIGMOD
2011
ACM
219views Database» more  SIGMOD 2011»
12 years 10 months ago
Context-sensitive ranking for document retrieval
We study the problem of context-sensitive ranking for document retrieval, where a context is defined as a sub-collection of documents, and is specified by queries provided by do...
Liang Jeff Chen, Yannis Papakonstantinou
TASLP
2008
96views more  TASLP 2008»
13 years 7 months ago
Fast Tracing of Acoustic Beams and Paths Through Visibility Lookup
The beam tracing method can be used for the fast tracing of a large number of acoustic paths through a direct lookup of a special tree-like data structure (beam tree) that describe...
Fabio Antonacci, M. Foco, Augusto Sarti, Stefano T...

Publication
375views
14 years 2 months ago
 Dynamic View Expansion for Minimally Invasive Surgery using Simultaneous Localization And Mapping
Navigation during Minimally Invasive Surgery (MIS) has recognized difficulties due to limited field-of-view, off-axis visualization and loss of direct 3D vision. This can cause ...
Peter Mountney and Guang-Zhong Yang
IJCV
2007
146views more  IJCV 2007»
13 years 7 months ago
Image-Based Modeling by Joint Segmentation
The paper first traces the image-based modeling back to feature tracking and factorization that have been developed in the group led by Kanade since the eighties. Both feature tra...
Long Quan, Jingdong Wang, Ping Tan, Lu Yuan
ESOP
2006
Springer
13 years 11 months ago
A Verification Methodology for Model Fields
Model fields are specification-only fields that encode abstractions of the concrete state of a data structure. They allow specifications to describe the behavior of object-oriented...
K. Rustan M. Leino, Peter Müller