1
Publicado em 2014
Sumário: ... Computational Model to Find Semantic Similarity -- Energy Efficient Cluster Based Aggregation Protocol (EECAP...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2010
Sumário: ...Invited Talks -- Games, Interaction and Computation -- Rôle of Domain Engineering in Software...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2015
Sumário: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2015
Sumário: ... of the Incidence Matrices to Compute the Algebraic Immunity of Boolean Functions -- Weighted Unranked Tree Automata...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2005
Sumário: ... of Computing Help? -- Informatics and ICT in Polish Education System -- Teaching Information Technology...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2010
Sumário: ...Continuous and Discrete Methods in Computer Science -- Colorful Strips -- The Mono- and Bichromatic...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2012
Sumário: ... -- CrowdLang: A Programming Language for the Systematic Exploration of Human Computation Systems -- Experiments...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2006
Sumário: ... Informatics -- Unraveling International Terrorist Groups’ Exploitation of the Web: Technical Sophistication...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2006
Sumário: ... -- The Power and Weakness of Randomness in Computation -- Regular Contributions -- A New GCD Algorithm...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2013
Sumário: ...-compensation for Visually Impaired Computer Users with Variable Pupil Size -- Digital Filtering of the Pupil...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2006
Sumário: ... Informatics -- Bridging the Gap Between School Computing and the “Real World” -- Programming Versus...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2010
Sumário: ... -- Modeling and Formally Checking Workflow Properties Using UML and OCL -- Pondering on the Key Functionality...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Publicado em 2006
Sumário: ... more suitable cost function -- AN LMI OPTIMIZATION APPROACH FOR GUARANTEED COST CONTROL OF SYSTEMS...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Publicado em 2010
Sumário: ... Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2007
Sumário: ... of Reduction Relations -- Computability Closure: Ten Years Later -- Reduction Strategies and Acyclicity...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Publicado em 2013
Sumário: ... Speed Functions Based on Progressive Wave Propagation -- Vanishing Points Estimation and Line...
Obter o texto integral
Recurso Electrónico livro electrónico
17
Publicado em 2012
Sumário: ...Abdominal Imaging, Computer Assisted Interventions and Robotics -- Computer-Aided Diagnosis...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Publicado em 2013
Sumário: ...Image reconstruction and motion modeling -- Machine learning in medical image computing -- Imaging...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Publicado em 2013
Sumário: ...Registration and atlas construction -- Microscopy, histology, and computer-aided diagnosis...
Obter o texto integral
Recurso Electrónico livro electrónico
20
Publicado em 2007
Sumário: ... with Dynamic Programming Algorithms -- New EST Trimming Procedure Applied to SUCEST Sequences -- A Method...
Obter o texto integral
Recurso Electrónico livro electrónico