Result 1 to 20 of 323 total
Computation and evaluation of medial surfaces for shape representation of abdominal organs. (English)
Yoshida, Hiroyuki (ed.) et al., Abdominal imaging. Computational and clinical applications. Third international workshop, held in conjunction with MICCAI 2011, Toronto, ON, Canada, September 18, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-28556-1/pbk). Lecture Notes in Computer Science 7029, 223-230 (2012).
1
Extending the $\mathcal{TOY}$ system with the $ECL^{i }$P$S^{e }$ solver over sets of integers. (English)
Schrijvers, Tom (ed.) et al., Functional and logic programming. 11th international symposium, FLOPS 2012, Kobe, Japan, May 23‒25, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29821-9/pbk). Lecture Notes in Computer Science 7294, 120-135 (2012).
2
Improving the performance of FD constraint solving in a CFLP system. (English)
Schrijvers, Tom (ed.) et al., Functional and logic programming. 11th international symposium, FLOPS 2012, Kobe, Japan, May 23‒25, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29821-9/pbk). Lecture Notes in Computer Science 7294, 88-103 (2012).
3
Declarative debugging of wrong and missing answers for SQL views. (English)
Schrijvers, Tom (ed.) et al., Functional and logic programming. 11th international symposium, FLOPS 2012, Kobe, Japan, May 23‒25, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29821-9/pbk). Lecture Notes in Computer Science 7294, 73-87 (2012).
4
Proceedings of the 4th international school “Advanced courses of mathematical analysis IV" in memory of Professor Antonio Aizpuru Tomás, Jerez de la Frontera, Spain, September 8‒12, 2009. (English)
Hackensack, NJ: World Scientific (ISBN 978-981-4335-80-5; 978-981-4335-81-2/ebook). xii, 247~p. \$~125.00; \sterling~78.00; \$~163.00, \sterling~108.00/ebook (2012).
5
A deductive database with Datalog and SQL query languages. (English)
Yang, Hongseok (ed.), Programming languages and systems. 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5‒7, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25317-1/pbk). Lecture Notes in Computer Science 7078, 66-73 (2011).
6
Armin: automatic trance music composition using Answer Set Programming. (English)
Fundam. Inform. 113, No. 1, 79-96 (2011).
7
Constrained design of simple ship hulls with B-spline surfaces. (English)
Comput.-Aided Des. 43, No. 12, 1829-1840 (2011).
8
Control of a service robot using the Mexican sign language. (English)
Batyrshin, Ildar (ed.) et al., Advances in soft computing. 10th Mexican international conference on artificial intelligence, MICAI 2011, Puebla, Mexico, November 26‒December 4, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-25329-4/pbk). Lecture Notes in Computer Science 7095. Lecture Notes in Artificial Intelligence, 419-430 (2011).
9
Regional flood frequency estimation for the Mexican Mixteca region by clustering techniques. (English)
Batyrshin, Ildar (ed.) et al., Advances in soft computing. 10th Mexican international conference on artificial intelligence, MICAI 2011, Puebla, Mexico, November 26‒December 4, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-25329-4/pbk). Lecture Notes in Computer Science 7095. Lecture Notes in Artificial Intelligence, 249-260 (2011).
10
Towards ontology-driven end-user composition of personalized mobile services. (English)
Muñoz, Rafael (ed.) et al., Natural language processing and information systems. 16th international conference on applications of natural language to information systems, NLDB 2011, Alicante, Spain, June 28‒30, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22326-6/pbk). Lecture Notes in Computer Science 6716, 242-245 (2011).
11
Towards the involvement of end-users within model-driven development. (English)
Costabile, Maria Francesca (ed.) et al., End-user development. Third international symposium, IS-EUD 2011, Torre Canne (BR), Italy, June 7‒10, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21529-2/pbk). Lecture Notes in Computer Science 6654, 258-263 (2011).
12
XQuery in the functional-logic language $\mathcal{TOY}$. (English)
Kuchen, Herbert (ed.), Functional and constraint logic programming. 20th international workshop, WFLP 2011, Odense, Denmark, July 19th. Proceedings. Berlin: Springer (ISBN 978-3-642-22530-7/pbk). Lecture Notes in Computer Science 6816, 35-51 (2011).
13
Information fusion to detect and classify pedestrians using invariant features. (English)
Inf. Fusion 12, No. 4, 284-292 (2011).
14
DES: A deductive database system. (English)
Electron. Notes Theor. Comput. Sci. 271, 63-78 (2011).
15
Security alert correlation using growing neural gas. (English)
Herrero, Álvaro (ed.) et al., Computational intelligence in security for information systems. 4th international conference, CISIS 2011, held at IWANN 2011, Torremolinos-Málaga, Spain, June 8‒10, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21322-9/pbk). Lecture Notes in Computer Science 6694, 76-83 (2011).
16
Mpromdb update 2010: an integrated resource for annotation and visualization of mammalian gene promoters and chip-seq experimental data. (English)
Nucleic Acids Res. 39, No. Database-Issue, 92-97 (2011).
17
Integrating XPath with the functional-logic language Toy. (English)
Rocha, Ricardo (ed.) et al., Practical aspects of declarative languages. 13th international symposium, PADL 2011, Austin, TX, USA, January 24‒25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-18377-5/pbk). Lecture Notes in Computer Science 6539, 145-159 (2011).
18
Python: an ecosystem for scientific computing (English)
Computing in Science and Engineering 13, No. 2, 13-21 (2011).
19
A wideband, directional model for the satellite-to-indoor propagation channel at S-band (English)
Int. J. Satellite Communications Networking 29, No. 1, 23-45 (2011).
20
Result 1 to 20 of 323 total
Start
Contact
Print
General Help
