1
Publicado em 2008
Sumário: ... Programming -- Removing Redundancy from Answer Set Programs -- ASPARTIX: Implementing Argumentation Frameworks...
Obter o texto integral
Recurso Eletrônico livro eletrônico
2
Publicado em 2007
Sumário: ... -- Induction of Fuzzy and Annotated Logic Programs -- Boosting Descriptive ILP for Predictive Learning...
Obter o texto integral
Recurso Eletrônico livro eletrônico
3
Publicado em 2006
Sumário: ... Algebrae -- Reasoning and Quantification in Fuzzy Description Logics -- Programming with Fuzzy Logic...
Obter o texto integral
Recurso Eletrônico livro eletrônico
4
Publicado em 2006
Sumário: ... product life cycle strategies in the Japanese market -- Applications of service engineering methods...
Obter o texto integral
Recurso Eletrônico livro eletrônico
5
Publicado em 2012
Sumário: ...Preface -- Keynotes -- National mastitis control schemes: experiences from implementation of a...
Obter o texto integral
Recurso Eletrônico livro eletrônico
6
Sumário: ...-class Classification Problems.-K-class Linear Programming Support Vector Classification Regression...
Obter o texto integral
Recurso Eletrônico livro eletrônico
7
Publicado em 2010
Sumário: ... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...
Obter o texto integral
Recurso Eletrônico livro eletrônico
8
Publicado em 2008
Sumário: ...Qualitative Modeling and Simulation of Bacterial Regulatory Networks -- Integrated Analysis from...
Obter o texto integral
Recurso Eletrônico livro eletrônico
9
Publicado em 2008
Sumário: ... Life of a Process Description: A Look into the Evolution of a Large Process Model -- Simulation...
Obter o texto integral
Recurso Eletrônico livro eletrônico
10
Publicado em 2010
Sumário: ... of Adaptable Visualization Services: Application to Cooperation Support Services System in the AEC Sector...
Obter o texto integral
Recurso Eletrônico livro eletrônico
11
Publicado em 2007
Sumário: ... Signal Compression Based on the Blind Signal Decomposition for Video Coding -- Personalized Life Log...
Obter o texto integral
Recurso Eletrônico livro eletrônico
12
Publicado em 2005
Sumário: ... of Assistance Applications -- Marve: A Prototype Virtual Human Interface Framework for Studying Human-Virtual...
Obter o texto integral
Recurso Eletrônico livro eletrônico
13
Publicado em 2007
Sumário: ... of Semantic Web Services Using Constraint Programming -- Architectural Decisions and Patterns...
Obter o texto integral
Recurso Eletrônico livro eletrônico
14
Publicado em 2007
Sumário: ... Critical Systems -- Improving Interactive Systems Usability Using Formal Description Techniques...
Obter o texto integral
Recurso Eletrônico livro eletrônico
15
Publicado em 2005
Sumário: ... and Implementation of Distributed Control Systems -- An Interoperability Framework and Capability Profiling...
Obter o texto integral
Recurso Eletrônico livro eletrônico
16
Publicado em 2010
Sumário: ... -- Design and Implementation of a Context-Aware Guide Application for Mobile Users Based on Machine Learning...
Obter o texto integral
Recurso Eletrônico livro eletrônico
17
Publicado em 2010
Sumário: ... for Implementing a SLMR Trading Strategy -- A Formalism for Causal Explanations with an Answer Set Programming...
Obter o texto integral
Recurso Eletrônico livro eletrônico
18
Assuntos: ...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...
Obter o texto integral
Recurso Eletrônico livro eletrônico
19
Publicado em 2006
Sumário: ... — A Polynomial-Time Reasoner for Life Science Ontologies -- FaCT++ Description Logic Reasoner: System...
Obter o texto integral
Recurso Eletrônico livro eletrônico
20
Publicado em 2006
Sumário: ... -- A Simplified and Systematic Technique to Develop and Implement PLC Program for a Control Process...
Obter o texto integral
Recurso Eletrônico livro eletrônico