Sciweavers

1552 search results - page 138 / 311
» From Automatic Structures to Borel Structures
Sort
View
138
Voted
ICSE
2005
IEEE-ACM
16 years 3 months ago
Automatic generation and maintenance of correct spreadsheets
Existing spreadsheet systems allow users to change cells arbitrarily, which is a major source of spreadsheet errors. We propose a system that prevents errors in spreadsheets by re...
Martin Erwig, Robin Abraham, Irene Cooperstein, St...
WECWIS
2003
IEEE
102views ECommerce» more  WECWIS 2003»
15 years 8 months ago
FUSION: A System Allowing Dynamic Web Service Composition and Automatic Execution
Service portals are systems which expose a bundle of web services to the user, allowing the specification and subsequent execution of complex tasks defined over these individual...
Debra E. VanderMeer, Anindya Datta, Kaushik Dutta,...
151
Voted
MICCAI
2007
Springer
16 years 4 months ago
Prior Knowledge Driven Multiscale Segmentation of Brain MRI
We present a novel automatic multiscale algorithm applied to segmentation of anatomical structures in brain MRI. The algorithm which is derived from algebraic multigrid, uses a gra...
Ayelet Akselrod-Ballin, Meirav Galun, Moshe John G...
122
Voted
MICCAI
2002
Springer
16 years 4 months ago
Line Integral Convolution for Visualization of Fiber Tract Maps from DTI
Abstract. Diffusion tensor imaging (DTI) can provide the fundamental information required for viewing structural connectivity. However, robust and accurate acquisition and processi...
Tim McGraw, Baba C. Vemuri, Zhizhou Wang, Yunmei C...
150
Voted
EMSOFT
2010
Springer
15 years 1 months ago
From high-level component-based models to distributed implementations
Constructing correct distributed systems from their high-level models has always been a challenge and often subject to serious errors because of their non-deterministic and non-at...
Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, ...