Sciweavers

10055 search results - page 1474 / 2011
» Structured programming using processes
Sort
View
CADE
2004
Springer
16 years 5 months ago
Automatic Generation of Classification Theorems for Finite Algebras
Abstract. Classifying finite algebraic structures has been a major motivation behind much research in pure mathematics. Automated techniques have aided in this process, but this ha...
Simon Colton, Andreas Meier, Volker Sorge, Roy L. ...
SIGMOD
2004
ACM
92views Database» more  SIGMOD 2004»
16 years 4 months ago
Online Maintenance of Very Large Random Samples
Random sampling is one of the most fundamental data management tools available. However, most current research involving sampling considers the problem of how to use a sample, and...
Chris Jermaine, Abhijit Pol, Subramanian Arumugam
MICCAI
2009
Springer
16 years 2 months ago
Joint Segmentation of Image Ensembles via Latent Atlases
Abstract. Spatial priors, such as probabilistic atlases, play an important role in MRI segmentation. However, the availability of comprehensive, reliable and suitable manual segmen...
Tammy Riklin Raviv, Koen Van Leemput, William M. W...
HICSS
2009
IEEE
117views Biometrics» more  HICSS 2009»
15 years 11 months ago
Experience as Knowledge in a New Product Development Team: Implications for Knowledge Management
This study was conducted to better understand how New Product Development (NPD) team members apply their experiences to meet the task needs of their project. Although “experienc...
Lynne P. Cooper
144
Voted
IPMI
2009
Springer
15 years 11 months ago
Smooth 3-D Reconstruction for 2-D Histological Images
We present an image driven approach to the reconstruction of 3-D volumes from stacks of 2-D post-mortem sections (histology, cryoimaging, autoradiography or immunohistochemistry) i...
Amalia Cifor, Tony P. Pridmore, Alain Pitiot
« Prev « First page 1474 / 2011 Last » Next »