History
1
485

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 485 total

Toward memory scalability of GYSELA code for extreme scale computers. (English)
Concurrency and Computation: Practice and ExperienceConcurrency and Computation: Practice and Experience 27, N0. 4, 994-1009(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
Abstraction of levels of abstraction. (English)
J. Exp. Theor. Artif. Intell.J. Exp. Theor. Artif. Intell. 27, N0. 1, 23-35(2015)
3
Content-Based Discovery of Multiple Structures from Episodes of Recurrent TV Programs Based on Grammatical Inference. (English)
MMM (1), 140-154(2015)
4
Parallel computation of echelon forms. (English)
Silva, 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).
5
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).
6
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).
7
Classes of infinite $(\leq 3, ω, ω^\ast, Ω, Ω^\ast)$-hypomorphy. (Classes de $(\leq 3,ω,ω^\ast,Ω, Ω^\ast)$-hypomorphie infinies.) (French)
Proyecciones 33, No. 3, 287-313 (2014).
8
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).
9
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).
10
Filtering AtMostNValue with difference constraints: application to the shift minimisation personnel task scheduling problem. (English)
Artif. Intell. 212, 116-133 (2014).
11
Formulating Cost-Effective Monitoring Strategies for Service-Based Systems. (English)
IEEE Trans. Software Eng.IEEE Trans. Software Eng. 40, N0. 5, 461-482(2014)
12
A biologically constrained model of the whole basal ganglia addressing the paradoxes of connections and selection. (English)
Journal of Computational NeuroscienceJournal of Computational Neuroscience 36, N0. 3, 445-468(2014)
13
Automatic detection of reuses and citations in literary texts. (English)
LLCLLC 29, N0. 3, 412-421(2014)
14
Software structure evolution and relation to system defectiveness. (English)
EASE, 34:1-34:10(2014)
15
Essentially optimal interactive certificates in linear algebra. (English)
ISSAC, 146-153(2014)
16
Content-based inference of hierarchical structural grammar for recurrent TV programs using multiple sequence alignment. (English)
ICME, 1-6(2014)
17
DExTaR: Detection of exact tandem repeats based on the de Bruijn graph. (English)
BIBM, 90-93(2014)
18
Self-decomposable Global Constraints. (English)
ECAI, 297-302(2014)
19
Two-party competition with persistent policies. (English)
J. Economic TheoryJ. Economic Theory 152, 64-91(2014)
20
first | previous | 1 21 41 61 81 101 | next | last

Result 1 to 20 of 485 total