Result 21 to 40 of 3407 total
Minimax number of strata for online stratified sampling given noisy samples. (English)
Bshouty, Nader H. (ed.) et al., Algorithmic learning theory. 23rd international conference, ALT 2012, Lyon, France, October 29‒31, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-34105-2/pbk). Lecture Notes in Computer Science 7568. Lecture Notes in Artificial Intelligence, 229-244 (2012).
21
A formal abstract framework for modelling and testing complex software systems. (English)
Theor. Comput. Sci. 455, 66-97 (2012).
22
Efficient reversible data hiding for color filter array images. (English)
Inf. Sci. 190, 208-226 (2012).
23
Integration production planning and scheduling systems for determination of transitional phases in repetitive production. (English)
Corchado, Emilio (ed.) et al., Hybrid artificial intelligent systems. 7th international conference, HAIS 2012, Salamanca, Spain, March 28‒30, 2012. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-28930-9/pbk). Lecture Notes in Computer Science 7209. Lecture Notes in Artificial Intelligence, 274-283 (2012).
24
Integrating bibliographical data of computer science publications from online digital libraries. (English)
Pan, Jeng-Shyang (ed.) et al., Intelligent information and database systems. 4th Asian conference, ACIIDS 2012, Kaohsiung, Taiwan, March 19‒21, 2012. Proceedings, Part III. Berlin: Springer (ISBN 978-3-642-28492-2/pbk). Lecture Notes in Computer Science 7198. Lecture Notes in Artificial Intelligence, 226-235 (2012).
25
Formal agent-oriented ubiquitous computing: a computational intelligence support for information and services integration. (English)
Pan, Jeng-Shyang (ed.) et al., Intelligent information and database systems. 4th Asian conference, ACIIDS 2012, Kaohsiung, Taiwan, March 19‒21, 2012. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-28489-2/pbk). Lecture Notes in Computer Science 7197. Lecture Notes in Artificial Intelligence, 498-508 (2012).
26
Integration of multiple fuzzy FP-trees. (English)
Pan, Jeng-Shyang (ed.) et al., Intelligent information and database systems. 4th Asian conference, ACIIDS 2012, Kaohsiung, Taiwan, March 19‒21, 2012. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-28486-1/pbk). Lecture Notes in Computer Science 7196. Lecture Notes in Artificial Intelligence, 330-337 (2012).
27
Local neighbor enrichment for ontology integration. (English)
Pan, Jeng-Shyang (ed.) et al., Intelligent information and database systems. 4th Asian conference, ACIIDS 2012, Kaohsiung, Taiwan, March 19‒21, 2012. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-28486-1/pbk). Lecture Notes in Computer Science 7196. Lecture Notes in Artificial Intelligence, 156-166 (2012).
28
A multi-agent strategy for integration of imprecise descriptions. (English)
Pan, Jeng-Shyang (ed.) et al., Intelligent information and database systems. 4th Asian conference, ACIIDS 2012, Kaohsiung, Taiwan, March 19‒21, 2012. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-28486-1/pbk). Lecture Notes in Computer Science 7196. Lecture Notes in Artificial Intelligence, 1-10 (2012).
29
The Legendre wavelet method for solving initial value problems of Bratu-type. (English)
Comput. Math. Appl. 63, No. 8, 1287-1295 (2012).
30
Automated knowledge source selection and service composition. (English)
Comput. Optim. Appl. 52, No. 2, 507-535 (2012).
31
Family of superspirals with completely monotonic curvature given in terms of Gauss hypergeometric function. (English)
Comput. Aided Geom. Des. 29, No. 7, 510-518 (2012).
32
Adaptive dynamic frequency scaling for thermal-aware 3D multi-core processors. (English)
Murgante, Beniamino (ed.) et al., Computational science and its applications ‒ ICCSA 2012. 12th international conference, Salvador de Bahia, Brazil, June 18‒21, 2012. Proceedings, Part IV. Berlin: Springer (ISBN 978-3-642-31127-7/pbk). Lecture Notes in Computer Science 7336, 602-612 (2012).
33
Early automated verification of tool chain design. (English)
Murgante, Beniamino (ed.) et al., Computational science and its applications ‒ ICCSA 2012. 12th international conference, Salvador de Bahia, Brazil, June 18‒21, 2012. Proceedings, Part IV. Berlin: Springer (ISBN 978-3-642-31127-7/pbk). Lecture Notes in Computer Science 7336, 40-50 (2012).
34
A data fusion system for spatial data mining, analysis and improvement. (English)
Murgante, Beniamino (ed.) et al., Computational science and its applications ‒ ICCSA 2012. 12th international conference, Salvador de Bahia, Brazil, June 18‒21, 2012. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-31074-4/pbk). Lecture Notes in Computer Science 7334, 439-449 (2012).
35
Verifying an algorithm computing discrete vector fields for digital imaging. (English)
Jeuring, Johan (ed.) et al., Intelligent computer mathematics. 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, systems and projects, held as part of CICM 2012, Bremen, Germany, July 8‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31373-8/pbk). Lecture Notes in Computer Science 7362. Lecture Notes in Artificial Intelligence, 216-230 (2012).
36
Audio-visual localization with hierarchical topographic maps: modeling the superior colliculus. (English)
Neurocomputing 97, 344-356 (2012).
37
Enhancing performance and accuracy of ontology integration by propagating priorly matchable concepts. (English)
Neurocomputing 88, 3-12 (2012).
38
Error estimates for the ANOVA method with polynomial chaos interpolation: Tensor product functions. (English)
SIAM J. Sci. Comput. 34, No. 2, A1165-A1186 (2012).
39
A multistage Wiener chaos expansion method for stochastic advection-diffusion-reaction equations. (English)
SIAM J. Sci. Comput. 34, No. 2, A914-A936 (2012).
40
Result 21 to 40 of 3407 total