1
Pubblicazione 2005
Sommario: ...Invited Papers -- Nonmonotonic Reasoning in FLORA-2 -- Data Integration and Answer Set Programming...
Testo
Elettronico eBook
2
Pubblicazione 2005
Sommario: ... Reasoning -- Learning to Optimize Plan Execution in Information Agents -- Cased-Based Reasoning by Human...
Testo
Elettronico eBook
3
Pubblicazione 2010
Sommario: ... of Differential Constraints in Possible Conflict and ARR Computation -- On the Complexity of Program Debugging...
Testo
Elettronico eBook
4
Pubblicazione 2010
Sommario: ... Processing and Reasoning Based on Graph Representation – A Case Study -- A Real Time Player Tracking System...
Testo
Elettronico eBook
5
Pubblicazione 2007
Sommario: ... Networks -- Catastrophe Prediction of Cnaphalocrosis Medinalis Based on Fuzzy Reasoning -- Preconditioned...
Testo
Elettronico eBook
6
Pubblicazione 2007
Sommario: ... Between Protein and RNA -- Detecting Periodically Expression in Unevenly Spaced Microarray Time Series...
Testo
Elettronico eBook
7
Pubblicazione 2011
Sommario: ... -- Techniques for Protein Structure -- Microarray Experiment Statistics -- Reasoning with Protein Contact Maps...
Testo
Elettronico eBook
8
Pubblicazione 2006
Sommario: ... Algebrae -- Reasoning and Quantification in Fuzzy Description Logics -- Programming with Fuzzy Logic...
Testo
Elettronico eBook
9
Pubblicazione 2005
Sommario: ... Home Simulation and Control -- Aggregates and Preferences in Logic Programming -- The Chisholm Paradox...
Testo
Elettronico eBook
10
Pubblicazione 2005
Sommario: ... -- New Rules for Hybrid Spatial Reasoning -- Using Pre-aggregation for Efficient Spatial Query Processing...
Testo
Elettronico eBook
11
Pubblicazione 2006
Sommario: ... Syndromes -- OVA Scheme vs. Single Machine Approach in Feature Selection for Microarray Datasets...
Testo
Elettronico eBook
12
Pubblicazione 2010
Sommario: ... with an e-Learning 2.0 Authoring System -- Cognitive Modeling and Human Reasoning -- Robotic Orientation...
Testo
Elettronico eBook
13
Pubblicazione 2014
Sommario: ... for Microarray Data -- New Method for Dynamic Signature Verification Using Hybrid Partitioning -- New Method...
Testo
Elettronico eBook