skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: SpringerLINK Lecture Notes in Computer Science (2014) remover tipo de recurso: Book Chapters remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Bringing Constitutive Dynamics to Situated Artificial Institutions
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Bringing Constitutive Dynamics to Situated Artificial Institutions

Pereira, Francisco ; Machado, Penousal ; Costa, Ernesto ; Cardoso, Amílcar

Progress in Artificial Intelligence, 2015, Vol.9273, p.624-637 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

2
Towards a Family of Test Selection Criteria for Symbolic Models of Real-Time Systems
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Towards a Family of Test Selection Criteria for Symbolic Models of Real-Time Systems

Braga, Christiano ; Martí-Oliet, Narciso

Formal Methods: Foundations and Applications, 2015, Vol.8941, p.48-63 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

3
Assessing the Efficiency of Suffix Stripping Approaches for Portuguese Stemming
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Assessing the Efficiency of Suffix Stripping Approaches for Portuguese Stemming

Iliopoulos, Costas S ; Puglisi, Simon J ; Yilmaz, Emine

String Processing and Information Retrieval, 2015, Vol.9309, p.210-221 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

4
Evotype: Evolutionary Type Design
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Evotype: Evolutionary Type Design

Johnson, Colin ; Carballal, Adrian ; Correia, João

Evolutionary and Biologically Inspired Music, Sound, Art and Design, 2015, Vol.9027, p.136-147 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

5
Composable Memory Transactions for Java Using a Monadic Intermediate Language
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Composable Memory Transactions for Java Using a Monadic Intermediate Language

Pardo, Alberto ; Swierstra, S. Doaitse

Programming Languages, 2015, Vol.9325, p.128-142 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

6
Agent-Based Modelling for a Resource Management Problem in a Role-Playing Game
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Agent-Based Modelling for a Resource Management Problem in a Role-Playing Game

Pereira, Francisco ; Machado, Penousal ; Costa, Ernesto ; Cardoso, Amílcar

Progress in Artificial Intelligence, 2015, Vol.9273

Switzerland: Springer International Publishing AG

Texto completo disponível

7
Smart Environments and Context-Awareness for Lifestyle Management in a Healthy Active Ageing Framework
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Smart Environments and Context-Awareness for Lifestyle Management in a Healthy Active Ageing Framework

Pereira, Francisco ; Machado, Penousal ; Costa, Ernesto ; Cardoso, Amílcar

Progress in Artificial Intelligence, 2015, Vol.9273

Switzerland: Springer International Publishing AG

Texto completo disponível

8
Reasoning over Ontologies and Non-monotonic Rules
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Reasoning over Ontologies and Non-monotonic Rules

Pereira, Francisco ; Machado, Penousal ; Costa, Ernesto ; Cardoso, Amílcar

Progress in Artificial Intelligence, 2015, Vol.9273

Switzerland: Springer International Publishing AG

Texto completo disponível

9
Social Simulation and Modelling
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Social Simulation and Modelling

Pereira, Francisco ; Machado, Penousal ; Costa, Ernesto ; Cardoso, Amílcar

Progress in Artificial Intelligence, 2015, Vol.9273

Switzerland: Springer International Publishing AG

Texto completo disponível

10
Detecting Motion Patterns in Dense Flow Fields: Euclidean Versus Polar Space
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Detecting Motion Patterns in Dense Flow Fields: Euclidean Versus Polar Space

Pereira, Francisco ; Machado, Penousal ; Costa, Ernesto ; Cardoso, Amílcar

Progress in Artificial Intelligence, 2015, Vol.9273

Switzerland: Springer International Publishing AG

Texto completo disponível

Resultados 1 2 3 4 5 next page

Buscando em bases de dados remotas. Favor aguardar.