1
Udgivet 2006
Indholdsfortegnelse: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Få fuldtekst
Electronisk eBog
2
Udgivet 2005
Indholdsfortegnelse: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
Få fuldtekst
Electronisk eBog
3
Udgivet 2007
Indholdsfortegnelse: ...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...
Få fuldtekst
Electronisk eBog
4
Udgivet 2006
Indholdsfortegnelse: ... -- Reinventing Machine Learning with ROC Analysis -- Cocktail Party Processing -- AI in Education and Intelligent...
Få fuldtekst
Electronisk eBog
5
Udgivet 2015
Indholdsfortegnelse: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
Få fuldtekst
Electronisk eBog
6
Udgivet 2010
Indholdsfortegnelse: ... Networks -- Rule Discovery Process Based on Rough Sets under the Belief Function Framework -- Independent...
Få fuldtekst
Electronisk eBog
7
Udgivet 2010
Indholdsfortegnelse: ... under a General Weighted Cost Function -- How to Complete an Interactive Configuration Process...
Få fuldtekst
Electronisk eBog
8
Udgivet 2007
Indholdsfortegnelse: ... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...
Få fuldtekst
Electronisk eBog
9
Udgivet 2007
Indholdsfortegnelse: ... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...
Få fuldtekst
Electronisk eBog
10
Udgivet 2007
Indholdsfortegnelse: ...A Novel Description of Multifractal Phenomenon of Network Traffic Based on Generalized Cauchy...
Få fuldtekst
Electronisk eBog
11
Udgivet 2005
Indholdsfortegnelse: ... Rule-Table for Function Approximation by Use of Symbolic Regression in 1D and 2D Cases -- Parallel...
Få fuldtekst
Electronisk eBog
12
Udgivet 2012
Indholdsfortegnelse: ... Video Stabilization -- Automatic Construction of Invariant Features Using Genetic Programming for Edge...
Få fuldtekst
Electronisk eBog
13
Udgivet 2014
Indholdsfortegnelse: ... Process Mining to Resource-Oriented Systems -- User–Defined Rules Made Simple with Functional Programming...
Få fuldtekst
Electronisk eBog
14
Udgivet 2013
Indholdsfortegnelse: ....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...
Få fuldtekst
Electronisk eBog
15
Udgivet 2007
Indholdsfortegnelse: ... and Implementation of an Environment for Component-Based Parallel Programming -- Anahy: A Programming Environment...
Få fuldtekst
Electronisk eBog
16
Udgivet 2005
Indholdsfortegnelse: ... Description -- Balancing Strategies and Class Overlapping -- Modeling Conditional Distributions of Continuous...
Få fuldtekst
Electronisk eBog
17
Udgivet 2008
Indholdsfortegnelse: ... Abstract Stochastic Process Algebra Models -- An Exact Brownian Dynamics Method for Cell Simulation...
Få fuldtekst
Electronisk eBog
18
Udgivet 2008
Indholdsfortegnelse: ... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...
Få fuldtekst
Electronisk eBog
19
Indholdsfortegnelse: ...Introduction to Multilayer Neural Networks -- Basics of Generalized Nets -- Simulation Process...
Få fuldtekst
Electronisk eBog
20
Udgivet 2007
Indholdsfortegnelse: ... on a Massively Parallel Embedded Processor -- Stream Image Processing on a Dual-Core Embedded System...
Få fuldtekst
Electronisk eBog