4502 search results - page 591 / 901 » Regular Model Checking |
185
click to vote
MICCAI
2009
Springer
16 years 7 months ago
2009
Springer
We describe a technique to simultaneously estimate a weighted, positive-definite multi-tensor fiber model and perform tractography. Existing techniques estimate the local fiber ori...
153
click to vote
KDD
2005
ACM
16 years 7 months ago
2005
ACM
While the vast majority of clustering algorithms are partitional, many real world datasets have inherently overlapping clusters. Several approaches to finding overlapping clusters...
145
click to vote
ACCV
2006
Springer
16 years 21 days ago
2006
Springer
We present a bottom up algebraic approach for segmenting multiple 2D motion models directly from the partial derivatives of an image sequence. Our method fits a polynomial called ...
184
click to vote
CGI
2000
IEEE
15 years 11 months ago
2000
IEEE
Three-dimensional maps are fundamental tools for presenting, exploring, and manipulating geo data. This paper describes multiresolution concepts for 3D maps and their texture-base...
199
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
This paper proposes to use cognitive multi-agent based simulation to facilitate human team formation decision processes. The models of organizational actors are acquired by a data...