1
Publicado em 2005
Sumário: ...Invited Papers -- Nonmonotonic Reasoning in FLORA-2 -- Data Integration and Answer Set Programming...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2005
Sumário: ... the Vocabulary Problem in Multi-Case-Base Reasoning -- Evaluation and Monitoring of the Air-Sea Interaction Using...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2011
Sumário: ... -- Techniques for Protein Structure -- Microarray Experiment Statistics -- Reasoning with Protein Contact Maps...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2010
Sumário: ... of Differential Constraints in Possible Conflict and ARR Computation -- On the Complexity of Program Debugging...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2010
Sumário: ... Processing and Reasoning Based on Graph Representation – A Case Study -- A Real Time Player Tracking System...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2005
Sumário: ... -- New Rules for Hybrid Spatial Reasoning -- Using Pre-aggregation for Efficient Spatial Query Processing...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2007
Sumário: ... Networks -- Catastrophe Prediction of Cnaphalocrosis Medinalis Based on Fuzzy Reasoning -- Preconditioned...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2007
Sumário: ... Between Protein and RNA -- Detecting Periodically Expression in Unevenly Spaced Microarray Time Series...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2006
Sumário: ... Algebrae -- Reasoning and Quantification in Fuzzy Description Logics -- Programming with Fuzzy Logic...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2010
Sumário: ... with an e-Learning 2.0 Authoring System -- Cognitive Modeling and Human Reasoning -- Robotic Orientation...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2014
Sumário: ... for Microarray Data -- New Method for Dynamic Signature Verification Using Hybrid Partitioning -- New Method...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2006
Sumário: ... Syndromes -- OVA Scheme vs. Single Machine Approach in Feature Selection for Microarray Datasets...
Obter o texto integral
Recurso Electrónico livro electrónico