1814 search results - page 218 / 363 » Extended First-Order Logic |
166
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
We introduce a method for estimating regional connectivity in diffusion tensor magnetic resonance imaging (DT-MRI) based on a fluid mechanics model. We customize the Navier-Stokes...
163
click to vote
MOBIHOC
2008
ACM
16 years 6 months ago
2008
ACM
It was shown recently [7?9], under quite general conditions, that retransmission-based protocols may result in power-law delays and possibly zero throughput even if the distributi...
177
click to vote
CVPR
2007
IEEE
16 years 22 days ago
2007
IEEE
Energy-minimizing active contour models (snakes) have been proposed for solving many computer vision problems such as object segmentation, surface reconstruction, and object track...
188
click to vote
GLVLSI
2006
IEEE
16 years 13 days ago
2006
IEEE
Process technology and environment-induced variability of gates and wires in VLSI circuits make timing analyses of such circuits a challenging task. Process variation can have a s...
197
click to vote
CIKM
2000
Springer
15 years 10 months ago
2000
Springer
—As databases increasingly integrate different types of information such as multimedia, spatial, time-series, and scientific data, it becomes necessary to support efficient retri...