Result 1 to 20 of 756 total
Core FOBS: A hybrid functional and object-oriented language. (English)
Comput. Lang. Syst. Struct. 38, No. 3, 214-241 (2012).
1
Identifying flaws in the security of critical sets in Latin squares via triangulations. (English)
Australas. J. Comb. 52, 243-268 (2012).
2
io-port 06095292 Ochoa, Gabriela;
Hyde, Matthew;
Curtois, Tim;
Vazquez-Rodriguez, Jose A.;
Walker, James;
Gendreau, Michel;
Kendall, Graham;
McCollum, Barry;
Parkes, Andrew J.;
Petrovic, Sanja;
Burke, Edmund K.
HyFlex: a benchmark framework for cross-domain heuristic search. (English)
Hao, Jin-Kao (ed.) et al., Evolutionary computation in combinatorial optimization. 12th European conference, EvoCOP 2012, Málaga, Spain, April 11‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29123-4/pbk). Lecture Notes in Computer Science 7245, 136-147 (2012).
3
Bounded search tree algorithms for parametrized cograph deletion: efficient branching rules by exploiting structures of special graph classes. (English)
Discrete Math. Algorithms Appl. 4, No. 1, 1250008, 23 p. (2012).
4
Communication-optimal parallel and sequential QR and LU factorizations. (English)
SIAM J. Sci. Comput. 34, No. 1, A206-A239 (2012).
5
An efficient computational approach for multiframe blind deconvolution. (English)
J. Comput. Appl. Math. 236, No. 8, 2112-2125 (2012).
6
Processing and visualization of diffusion MRI. (English)
Deserno, Thomas M. (ed.), Biomedical image processing. Berlin: Springer (ISBN 978-3-642-15815-5/hbk; 978-3-642-15816-2/ebook). Biological and Medical Physics, Biomedical Engineering, 403-424 (2011).
7
Design of a scalable reasoning engine for distributed, real-time and embedded systems. (English)
Xiong, Hui (ed.) et al., Knowledge science, engineering and management. 5th international conference, KSEM 2011, Irvine, CA, USA, December 12‒14, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25974-6/pbk). Lecture Notes in Computer Science 7091. Lecture Notes in Artificial Intelligence, 221-232 (2011).
8
A peak-capture algorithm used on an autonomous underwater vehicle in the 2010 gulf of Mexico oil spill response scientific survey. (English)
J. Field Robot. 28, No. 4, 484-496 (2011).
9
A fine-grained view of phenotypes and locality in genetic programming. (English)
Riolo, Rick (ed.) et al., Genetic programming theory and practice IX. Selected papers based on the presentations at the 9th workshop, Ann Arbor, MI, USA, May 12‒14, 2011. Foreword by Una-Maay O’Reilly. New York, NY: Springer (ISBN 978-1-4614-1769-9/hbk; 978-1-4614-1770-5/ebook). Genetic and Evolutionary Computation, 57-76 (2011).
10
EMO20Q questioner agent. (English)
D’Mello, Sidney (ed.) et al., Affective computing and intelligent interaction. 4th international conference, ACII 2011, Memphis, TN, USA, October 9‒12, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-24570-1/pbk). Lecture Notes in Computer Science 6975, 313-314 (2011).
11
Fast automatic multi-atlas segmentation of the prostate from 3D MR images. (English)
Madabhushi, Anant (ed.) et al., Prostate cancer imaging. Image analysis and image-guided interventions. International workshop, held in conjunction with MICCAI 2011, Toronto, Canada, September 22, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23943-4/pbk). Lecture Notes in Computer Science 6963, 10-21 (2011).
12
Mutual information-based sensor positioning for car cabin comfort control. (English)
König, Andreas (ed.) et al., Knowledge-based and intelligent information and engineering systems. 15th international conference, KES 2011, Kaiserslautern, Germany, September 12‒14, 2011. Proceedings, Part III. Berlin: Springer (ISBN 978-3-642-23853-6/pbk). Lecture Notes in Computer Science 6883. Lecture Notes in Artificial Intelligence, 483-492 (2011).
13
Non-parametric change-point detection using string matching algorithms. (English)
Comput. Res. Repos. 2011, Article No. 1106.5714 (2011).
14
Craig interpolation in displayable logics. (English)
Brünnler, Kai (ed.) et al., Automated reasoning with analytic tableaux and related methods. 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4‒8, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22118-7/pbk). Lecture Notes in Computer Science 6793. Lecture Notes in Artificial Intelligence, 88-103 (2011).
15
Local image features resulting from 3-dimensional geometric features, illumination, and movement. II. (English)
SIAM J. Imaging Sci. 4, No. 1, 386-412, electronic only (2011).
16
Synthetic boundary conditions for image deblurring. (English)
Linear Algebra Appl. 434, No. 11, 2244-2268 (2011).
17
Self-embeddings of cyclic and projective Steiner quasigroups. (English)
J. Comb. Des. 19, No. 1, 16-27 (2011).
18
A chain theorem for internally 4-connected binary matroids (English)
J. Comb. Theory, Ser. B 101, No. 3, 141-189 (2011).
19
Bias field inconsistency correction of motion-scattered multislice MRI for improved 3D image reconstruction (English)
IEEE Trans. Med. Imaging 30, No. 9, 1704-1712 (2011).
20
Result 1 to 20 of 756 total
Start
Contact
Print
General Help
