History
1
481

Please fill in your query. A complete syntax description you will find on the General Help page.
first | previous | 1 21 41 61 81 101 | next | last

Result 1 to 20 of 481 total

Content-Based Discovery of Multiple Structures from Episodes of Recurrent TV Programs Based on Grammatical Inference. (English)
MMM (1), 140-154(2015)
1
Interaction Traces Mining for Efficient System Responses Generation. (English)
ACM SIGSOFT Software Engineering NotesACM SIGSOFT Software Engineering Notes 40, N0. 1, 1-8(2015)
2
Parallel computation of echelon forms. (English)
Silva, David Takeo Josef Jon M. Alfred Friedemann John C. Moni Oscar C. Bernhard Demetri Doug Gerhard Fernando (ed.) et al., Euro-Par 2014 parallel processing. 20th international conference, Porto, Portugal, August 25‒29, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-09872-2/pbk). Lecture Notes in Computer Science 8632, 499-510 (2014).
3
GLV/GLS decomposition, power analysis, and attacks on ECDSA signatures with single-bit nonce bias. (English)
Sarkar, Palash (ed.) et al., Advances in cryptology ‒ ASIACRYPT 2014. 20th international conference on the theory and application of cryptology and information security, Kaoshiung, Taiwan, R.O.C., December 7‒11, 2014. Proceedings, Part I. Berlin: Springer (ISBN 978-3-662-45610-1/pbk). Lecture Notes in Computer Science 8873, 262-281 (2014).
4
A translation-based approach for revision of argumentation frameworks. (English)
Fermé, Eduardo (ed.) et al., Logics in artificial intelligence. 14th European conference, JELIA 2014, Funchal, Madeira, Portugal, September 24‒26, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-11557-3/pbk). Lecture Notes in Computer Science 8761. Lecture Notes in Artificial Intelligence, 397-411 (2014).
5
Infinite classes of $(\leq 3, ω, ω^\ast, Ω, Ω^\ast)$-hypomorphy. (Classes de $(\leq 3,ω,ω^\ast,Ω, Ω^\ast)$-hypomorphie infinies.) (French)
Proyecciones 33, No. 3, 287-313 (2014).
6
Elements of design for containers and solutions in the LinBox library (extended abstract). (English)
Hong, Hoon (ed.) et al., Mathematical software ‒ ICMS 2014. 4th international congress, Seoul, South Korea, August 5‒9, 2014. Proceedings. Berlin: Springer (ISBN 978-3-662-44198-5/pbk). Lecture Notes in Computer Science 8592, 654-662 (2014).
7
Static analysis of programs with imprecise probabilistic inputs. (English)
Cohen, Ernie (ed.) et al., Verified software: theories, tools, experiments. 5th international conference, VSTTE 2013, Menlo Park, CA, USA, May 17‒19, 2013. Revised selected papers. Berlin: Springer (ISBN 978-3-642-54107-0/pbk). Lecture Notes in Computer Science 8164, 22-47 (2014).
8
Filtering AtMostNValue with difference constraints: application to the shift minimisation personnel task scheduling problem. (English)
Artif. Intell. 212, 116-133 (2014).
9
Sparse Matrix Beamforming and Image Reconstruction for 2-D HIFU Monitoring Using Harmonic Motion Imaging for Focused Ultrasound (HMIFU) With In Vitro Validation. (English)
IEEE Trans. Med. ImagingIEEE Trans. Med. Imaging 33, N0. 11, 2107-2117(2014)
10
Formulating Cost-Effective Monitoring Strategies for Service-Based Systems. (English)
IEEE Trans. Software Eng.IEEE Trans. Software Eng. 40, N0. 5, 461-482(2014)
11
Processing and Data Collection of Program Structures in Open Source Repositories. (English)
SQAMIA, 57-66(2014)
12
Content-based inference of hierarchical structural grammar for recurrent TV programs using multiple sequence alignment. (English)
ICME, 1-6(2014)
13
Formal verification in Coq of program properties involving the global state effect. (English)
JFLA, 1-16(2014)
14
Oqtans: the RNA-seq workbench in the cloud for complete and reproducible quantitative transcriptome analysis. (English)
BioinformaticsBioinformatics 30, N0. 9, 1300-1301(2014)
15
Unsupervised Named Entity Recognition and Disambiguation: An Application to Old French Journals. (English)
ICDM, 12-23(2014)
16
Essentially optimal interactive certificates in linear algebra. (English)
ISSAC, 146-153(2014)
17
Self-decomposable Global Constraints. (English)
ECAI, 297-302(2014)
18
Two-party competition with persistent policies. (English)
J. Economic TheoryJ. Economic Theory 152, 64-91(2014)
19
A reactive extension of the OpenMusic visual programming language. (English)
J. Vis. Lang. Comput.J. Vis. Lang. Comput. 25, N0. 4, 363-375(2014)
20
first | previous | 1 21 41 61 81 101 | next | last

Result 1 to 20 of 481 total