1
Publicado em 2005
Sumário: ... Data-Driven Systems for Improving Named Entity Recognition -- Natural Language Processing: Mature...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2006
Sumário: ... Constraint Propagation -- Approximability of Integer Programming with Generalised Constraints -- When...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2008
Sumário: ... -- Visual Programming with Interaction Nets -- Theoretical Aspects -- Spider Diagrams of Order and a...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2008
Sumário: ...Using Interaction Analysis to Reveal Self-Regulated Learning in Virtual Communities -- Evaluating...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2010
Sumário: ... Board Games -- Comparing Binarisation Techniques for the Processing of Ancient Manuscripts -- Complex...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2010
Sumário: ... of Robot-Environment Interaction Have a Meaning? -- Information Dynamics of Evolved Agents -- Taming...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2010
Sumário: ... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2005
Sumário: ... Variants of DC -- Challenges in Increasing Tool Support for Programming -- A Predicate Spatial Logic...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2007
Sumário: ... -- IV: Interactive Environments -- Distributed 3D Information Visualization – Towards Integration...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Sumário: ...Background on Concurrency Theory -- Concurrency Theory — Untimed Models -- Process Calculi: LOTOS...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2007
Sumário: ... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2006
Sumário: ... Dodgson-Election Winners -- Reductions for Monotone Boolean Circuits -- Generalised Integer Programming...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Publicado em 2010
Sumário: ... in an Exploratory Learning Environment for Mathematics Generalisation -- Representing the Spaces When Planning...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Publicado em 2013
Sumário: ... Surface: What Can We Gain from Computational Chemistry.- Modeling the Intermolecular Interactions...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2010
Sumário: ... Recursive Approach -- Constraint-Based Evaluation of Automated and Manual Generalised Topographic Maps...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Publicado em 2010
Sumário: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
Obter o texto integral
Recurso Electrónico livro electrónico
17
Publicado em 2011
Sumário: ... Determination Problem in Combinatorial Auctions -- Validation Sets, Genetic Programming and Generalisation -- A...
Obter o texto integral
Recurso Electrónico livro electrónico