Sciweavers

5019 search results - page 950 / 1004
» Computing in Quotient Groups
Sort
View
ICDE
2003
IEEE
146views Database» more  ICDE 2003»
16 years 5 months ago
Navigation- vs. Index-Based XML Multi-Query Processing
XML path queries form the basis of complex filtering of XML data. Most current XML path query processing techniques can be divided in two groups. Navigation-based algorithms compu...
Nicolas Bruno, Luis Gravano, Nick Koudas, Divesh S...
GIS
2008
ACM
16 years 5 months ago
Charting new ground: modeling user behavior in interactive geovisualization
Geovisualization has traditionally played a critical role in analysis and decision-making, but recent developments have also brought a revolution in widespread online access to ge...
David C. Wilson, Heather Richter Lipford, Erin Car...
135
Voted
DAC
2001
ACM
16 years 4 months ago
Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines
roperty Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines Dong Wang , Pei-Hsin Ho , Jiang Long , James Kukula Yunshan Zhu , Tony Ma , Robert D...
Dong Wang, Pei-Hsin Ho, Jiang Long, James H. Kukul...
MICCAI
2002
Springer
16 years 4 months ago
Validation of Image Segmentation and Expert Quality with an Expectation-Maximization Algorithm
Characterizing the performance of image segmentation approaches has been a persistent challenge. Performance analysis is important since segmentation algorithms often have limited ...
Simon K. Warfield, Kelly H. Zou, William M. Wells ...
155
Voted
MICCAI
2005
Springer
16 years 4 months ago
Exploiting Temporal Information in Functional Magnetic Resonance Imaging Brain Data
Functional Magnetic Resonance Imaging(fMRI) has enabled scientists to look into the active human brain, leading to a flood of new data, thus encouraging the development of new data...
Lei Zhang 0002, Dimitris Samaras, Dardo Tomasi, Ne...