Result 1 to 20 of 1095 total
An embedding of input-output logic in deontic logic programs. (English)
Ågotnes, Thomas (ed.) et al., Deontic logic in computer science. 11th international conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31569-5/pbk). Lecture Notes in Computer Science 7393. Lecture Notes in Artificial Intelligence, 61-75 (2012).
1
Automatic tuning of the sparse matrix vector product on gpus based on the ELLR-T approach. (English)
Parallel Comput. 38, No. 8, 408-420 (2012).
2
Temporal pseudo-relevance feedback in microblog retrieval. (English)
Baeza-Yates, Ricardo (ed.) et al., Advances in information retrieval. 34th European conference on IR research, ECIR 2012, Barcelona, Spain, April 1‒5, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28996-5/pbk). Lecture Notes in Computer Science 7224, 522-526 (2012).
3
Assessing and predicting vertical intent for web queries. (English)
Baeza-Yates, Ricardo (ed.) et al., Advances in information retrieval. 34th European conference on IR research, ECIR 2012, Barcelona, Spain, April 1‒5, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28996-5/pbk). Lecture Notes in Computer Science 7224, 499-502 (2012).
4
Stability results for impulsive functional differential equations with infinite delay. (English)
Nonlinear Anal., Theory Methods Appl., Ser. A, Theory Methods 75, No. 18, 6570-6587 (2012).
5
Probabilistic SynSet based concept location. (English)
Simões, Alberto (ed.) et al., 1st symposium on languages, applications and technologies, SLATE’12, June 21‒22, 2012, Braga, Portugal. Proceedings. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-40-8). OASIcs ‒ OpenAccess Series in Informatics 21, 239-253, electronic only (2012).
6
Predicting market direction from direct speech by business leaders. (English)
Simões, Alberto (ed.) et al., 1st symposium on languages, applications and technologies, SLATE’12, June 21‒22, 2012, Braga, Portugal. Proceedings. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-40-8). OASIcs ‒ OpenAccess Series in Informatics 21, 163-172, electronic only (2012).
7
Generating flex lexical scanners for perl parse: Yapp. (English)
Simões, Alberto (ed.) et al., 1st symposium on languages, applications and technologies, SLATE’12, June 21‒22, 2012, Braga, Portugal. Proceedings. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-40-8). OASIcs ‒ OpenAccess Series in Informatics 21, 41-50, electronic only (2012).
8
Vision system for 3D reconstruction with telecentric Lens. (English)
Carrasco-Ochoa, Jesús Ariel (ed.) et al., Pattern recognition. 4th Mexican conference, MCPR 2012, Huatulco, Mexico, June 27‒30, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31148-2/pbk). Lecture Notes in Computer Science 7329, 127-136 (2012).
9
Dicionário-Aberto: a source of resources for the Portuguese language processing. (English)
Caseli, Helena (ed.) et al., Computational processing of the Portuguese language. 10th international conference, PROPOR 2012, Coimbra, Portugal, April 17‒20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28884-5/pbk). Lecture Notes in Computer Science 7243. Lecture Notes in Artificial Intelligence, 121-127 (2012).
10
A special class of fuzzified normal forms. (English)
Huang, De-Shuang (ed.) et al., Bio-inspired computing and applications. 7th international conference on intelligent computing, ICIC 2011, Zhengzhou, China, August 11‒14. 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-24552-7/pbk). Lecture Notes in Computer Science 6840. Lecture Notes in Bioinformatics, 331-344 (2012).
11
Two-stage least squares and indirect least squares algorithms for simultaneous equations models. (English)
J. Comput. Appl. Math. 236, No. 15, 3676-3684 (2012).
12
Implications of transvascular fluid exchange in nonlinear, biphasic analyses of flow-controlled infusion in brain. (English)
Bull. Math. Biol. 74, No. 4, 881-907 (2012).
13
A study of awareness in multimedia search. (English)
Inf. Process. Manage. 48, No. 1, 32-46 (2012).
14
A new parallel simulation technique (English)
J. Comput. Physics 231, No. 1, 98-108 (2012).
15
The icabinet system: harnessing electronic health record standards from domestic and mobile devices to support better medication adherence (English)
Computer Standards & Interfaces 34, No. 1, 109-116 (2012).
16
Exploring synergies between content-based filtering and spreading activation techniques in knowledge-based recommender systems. (English)
Inf. Sci. 181, No. 21, 4823-4846 (2011).
17
Automating the process for modeling and simulation of mechatronics systems. (English)
Borutzky, Wolfgang (ed.), Bond graph modelling of engineering systems. Theory, applications and software support. Foreword by Donald Margolis. New York, NY: Springer (ISBN 978-1-4419-9367-0/hbk; 978-1-4419-9368-7/ebook). 385-430 (2011).
18
Towards understanding recurring large scale power outages: an endogenous view of inter-organizational effects. (English)
Xenakis, Christos (ed.) et al., Critical information infrastructures security. 5th international workshop, CRITIS 2010, Athens, Greece, September 23‒24, 2010. Revised papers. Berlin: Springer (ISBN 978-3-642-21693-0/pbk). Lecture Notes in Computer Science 6712, 43-54 (2011).
19
Text segmentation: a topic modeling perspective. (English)
Inf. Process. Manage. 47, No. 4, 528-544 (2011).
20
Result 1 to 20 of 1095 total
Start
Contact
Print
General Help
