Sciweavers

2253 search results - page 278 / 451
» An Approach to Specifying Software Frameworks
Sort
View
IPMI
2009
Springer
16 years 5 months ago
Tractography Segmentation Using a Hierarchical Dirichlet Processes Mixture Model
In this paper, we propose a new nonparametric Bayesian framework to cluster white matter fiber tracts into bundles using a hierarchical Dirichlet processes mixture (HDPM) model. Th...
Carl-Fredrik Westin, W. Eric L. Grimson, Xiaogang ...
120
Voted
SIGMOD
2005
ACM
119views Database» more  SIGMOD 2005»
16 years 4 months ago
DogmatiX Tracks down Duplicates in XML
Duplicate detection is the problem of detecting different entries in a data source representing the same real-world entity. While research abounds in the realm of duplicate detect...
Melanie Weis, Felix Naumann
CHARME
2003
Springer
196views Hardware» more  CHARME 2003»
15 years 9 months ago
Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, K...
ER
2001
Springer
128views Database» more  ER 2001»
15 years 9 months ago
Pockets of Flexibility in Workflow Specification
: Workflow technology is currently being deployed in quite diverse domains. However, the element of change is present in some degree and form in almost all domains. A workflow impl...
Shazia W. Sadiq, Wasim Sadiq, Maria E. Orlowska
PG
2000
IEEE
15 years 9 months ago
FEM-Based Dynamic Subdivision Splines
Recent years have witnessed dramatic growth in the use of subdivision schemes for graphical modeling and animation, especially for the representation of smooth, oftentimes complex...
Hong Qin