1
Publicado em 2005
Sumário: ... Components: Concepts and Relations -- A Methodology to Create Legal Ontologies in a Logic Programming...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2015
Sumário: ... -- Non-cumulative Resource Analysis -- Value Slice: A New Slicing Concept for Scalable Property Checking...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2005
Sumário: ... by Attribute-Dependency Formulas -- On Computing the Minimal Generator Family for Concept Lattices and Icebergs...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2010
Sumário: ... Services in Semantic Nets with Multiple Concept Relations -- General-Purpose Computing on a Semantic...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2006
Sumário: ... of Control -- Programming Language Concepts for Multimedia Application Development -- Implicit and Dynamic...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2010
Sumário: ... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2006
Sumário: ... -- TOPOLOGICAL OPTIMIZATION OF FRAME STRUCTURES UNDER MULTIPLE LOADING CASES$^*$ -- OPTIMAL DISPLACEMENT CONTROL...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2006
Sumário: ...Keynote Speech -- Emergence in Organic Computing Systems: Discussion of a Controversial Concept...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2005
Sumário: ... -- Computational Simulation of Categorical Constructions -- Composing Transitions into Transactions in UML Diagrams...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2006
Sumário: ...Virtualization in Grids: A Semantical Approach -- Virtualization in Grids: A Semantical Approach...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2008
Sumário: ... Use: Construction of Special University Timetables -- A Relation Algebraic Semantics for a Lazy...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2012
Sumário: ... Constraint Satisfaction Games -- A Polynomial-Time Algorithm for Computing the Maximum Common -- Subgraph...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Publicado em 2014
Sumário: ... Sentence Similarity Based on Concepts -- Materialized View Construction Based on Clustering Technique...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Publicado em 2006
Sumário: ...Computational Linguistics Research -- Integrating Semantic Frames from Multiple Sources -- Making...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2005
Sumário: ... -- Automation I -- Concepts for Comparing Modeling Tool Architectures -- Scenario Construction Tool Based...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Publicado em 2005
Sumário: ... Construction Model for Ubiquitous Computing Devices -- Reuse and Platforms -- A Framework for Patterns in Gaia...
Obter o texto integral
Recurso Electrónico livro electrónico
17
Publicado em 2008
Sumário: ...: Representational Frameworks for Discrete Dynamic Systems -- Constructing Web Corpora through Topical Web...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Publicado em 2008
Sumário: ...Invited Talks -- Grounding Concrete Motion Concepts with a Linguistic Framework -- Emotion...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Publicado em 2010
Sumário: ... for Semantic Knowledge Systems -- Granular Fuzzy Inference System (FIS) Design by Lattice Computing -- Median...
Obter o texto integral
Recurso Electrónico livro electrónico
20
Publicado em 2010
Sumário: ... Comparison of Explicit Semantic Analysis Implementations for Cross-Language Retrieval -- Term Extraction...
Obter o texto integral
Recurso Electrónico livro electrónico