Result 41 to 60 of 756 total
Craig interpolation in displayable logics (English)
TABLEAUX, 88-103 (2011).
41
Fast automatic multi-atlas segmentation of the prostate from 3D MR images (English)
Prostate Cancer Imaging, 10-21 (2011).
42
Evaluating a pattern-based visual support approach for humanitarian landmine clearance (English)
CHI, 453-462 (2011).
43
A method for selecting SOA pilot projects including a pilot metrics framework (English)
ICSE, 653-662 (2011).
44
EMO20Q questioner agent (English)
ACII (2), 313-314 (2011).
45
Statistical modeling with the PSP MOSFET model. (English)
IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 29, No. 4, 599-606 (2010).
46
Multiscale adaptive agent-based management of storage-enabled photovoltaic facilities. (English)
Coelho, Helder (ed.) et al., ECAI 2010. 19th European conference on artificial intelligence, August 16‒20, 2010 Lisbon, Portugal. Including proceedings of the 6th prestigious applications of artificial intelligence (PAIS-2010). Amsterdam: IOS Press (ISBN 978-1-60750-605-8/pbk; 978-1-60750-606-5/ebook). Frontiers in Artificial Intelligence and Applications 215, 151-156 (2010).
47
A novel branching strategy for parameterized graph modification problems. (English)
Wu, Weili (ed.) et al., Combinatorial optimization and applications. 4th international conference, COCOA 2010, Kailua-Kona, HI, USA, December 18‒20, 2010. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-17460-5/pbk). Lecture Notes in Computer Science 6509, 332-346 (2010).
48
An efficient iterative approach for large-scale separable nonlinear inverse problems. (English)
SIAM J. Sci. Comput. 31, No. 6, 4654-4674 (2010).
49
A geometry-based particle filtering approach to white matter tractography. (English)
Jiang, Tianzi (ed.) et al., Medical image computing and computer-assisted intervention ‒ MICCAI 2010. 13th international conference, Beijing, China, September 20‒24, 2010. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-15744-8/pbk). Lecture Notes in Computer Science 6362, 233-240 (2010).
50
Micro-force sensing in robot assisted membrane peeling for vitreoretinal surgery. (English)
Jiang, Tianzi (ed.) et al., Medical image computing and computer-assisted intervention ‒ MICCAI 2010. 13th international conference, Beijing, China, September 20‒24, 2010. Proceedings, Part III. Berlin: Springer (ISBN 978-3-642-15710-3/pbk). Lecture Notes in Computer Science 6363, 303-310 (2010).
51
Performance evaluation of mixed-mode OpenMP/MPI implementations. (English)
Int. J. Parallel Program. 38, No. 5-6, 396-417 (2010).
52
A fine-grained view of GP locality with binary decision diagrams as ant phenotypes. (English)
Schaefer, Robert (ed.) et al., Parallel problem solving from nature ‒ PPSN XI. 11th international conference, Kraków, Poland, September 11‒15, 2010. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-15843-8/pbk). Lecture Notes in Computer Science 6238, 164-173 (2010).
53
A novel branching strategy for parameterized graph modification problems. (English)
Comput. Res. Repos. 2010, Article No. 1006.3020 (2010).
54
Coordination of distributed energy resource agents. (English)
Appl. Artif. Intell. 24, No. 5, 351-380 (2010).
55
An observer model for lesion detectability in contrast-enhanced digital mammography. (English)
Martí, Joan (ed.) et al., Digital mammography. 10th international workshop, IWDM 2010, Girona, Catalonia, Spain, June 16‒18, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13665-8/pbk). Lecture Notes in Computer Science 6136, 720-727 (2010).
56
Development of a peripheral thickness estimation method for volumetric breast density measurements in mammography using a 3D finite element breast model. (English)
Martí, Joan (ed.) et al., Digital mammography. 10th international workshop, IWDM 2010, Girona, Catalonia, Spain, June 16‒18, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13665-8/pbk). Lecture Notes in Computer Science 6136, 467-473 (2010).
57
Breast tomosynthesis reconstruction using a grid of blobs with projection matrices. (English)
Martí, Joan (ed.) et al., Digital mammography. 10th international workshop, IWDM 2010, Girona, Catalonia, Spain, June 16‒18, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13665-8/pbk). Lecture Notes in Computer Science 6136, 243-250 (2010).
58
Task-based evaluation of image quality of filtered back projection for breast tomosynthesis. (English)
Martí, Joan (ed.) et al., Digital mammography. 10th international workshop, IWDM 2010, Girona, Catalonia, Spain, June 16‒18, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13665-8/pbk). Lecture Notes in Computer Science 6136, 106-113 (2010).
59
A multivariate adaptive stochastic search method for dimensionality reduction in classification. (English)
Ann. Appl. Stat. 4, No. 1, 340-365 (2010).
60
Result 41 to 60 of 756 total
Start
Contact
Print
General Help
