1
Publicado 2007
Table of Contents: ... Theorem Proving Method Using Logical Reinforcement Learning -- Gene Expression Programming with DAG...
Ligazón do recurso
Electrónico eBook
2
Publicado 2007
Table of Contents: ... Manipulations for 2D Structures of Mathematical Expressions -- On the Virtues of Generic Programming...
Ligazón do recurso
Electrónico eBook
3
Publicado 2007
Table of Contents: ... -- An Efficient Algorithm and Its Parallelization for Computing PageRank -- A Query Index for Stream Data Using...
Ligazón do recurso
Electrónico eBook
4
Publicado 2007
Table of Contents: ... for Uncertainty Reduction in Microarray Gene Expression Pattern Analysis -- Application of Classification Methods...
Ligazón do recurso
Electrónico eBook
5
Publicado 2014
Table of Contents: ... User Access on Web Log Data -- A Review on Methods for Query Personalisation -- A Wide Band Compact...
Ligazón do recurso
Electrónico eBook
6
Publicado 2013
Table of Contents: ... Programming Based Method for Joint Object Region Matching and Labeling -- Using Models of Objects...
Ligazón do recurso
Electrónico eBook
7
Publicado 2010
Table of Contents: ... on Computational Methods, Algorithms and Applications -- Phonological Recoding in the Second Language Processing...
Ligazón do recurso
Electrónico eBook
8
Publicado 2013
Table of Contents: ... Rendering on Ajax-GIS -- A Method for Discussing Musical Expression between Music Ensemble Players Using a...
Ligazón do recurso
Electrónico eBook
9
Publicado 2008
Table of Contents: ... Encodings and Dependent Types -- Functional and Logic Programming -- Programming in JoCaml (Tool...
Ligazón do recurso
Electrónico eBook
10
Publicado 2006
Table of Contents: ... Approach to Computer-Assisted Translation Based on Finite-State Transducers -- Finite-State Registered...
Ligazón do recurso
Electrónico eBook
11
Publicado 2010
Table of Contents: ... on Outranking for Database Preference Queries -- Incremental Membership Function Updates -- A New Approach...
Ligazón do recurso
Electrónico eBook
12
Publicado 2010
Table of Contents: ... Expressive Entity-Relationship Schemata -- SQOWL: Type Inference in an RDBMS -- Querying Databases...
Ligazón do recurso
Electrónico eBook
13
Publicado 2008
Table of Contents: ... Various Facial Expressions and Occlusions -- A Version of the FastICA Algorithm Based on the Secant Method...
Ligazón do recurso
Electrónico eBook
14
Publicado 2010
Table of Contents: ... of Proximity Heuristics and Semantic Association of Query-Terms -- Network Management Initialization for Wired...
Ligazón do recurso
Electrónico eBook
15
Publicado 2015
Table of Contents: ...Invited Talks -- Regular Functions -- Unambiguity in Automata Theory -- Contributed Papers...
Ligazón do recurso
Electrónico eBook
16
Publicado 2005
Table of Contents: ...Full Papers -- Verifying the Incorrectness of Programs and Automata -- Generating Admissible...
Ligazón do recurso
Electrónico eBook
17
Publicado 2010
Table of Contents: ... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...
Ligazón do recurso
Electrónico eBook
18
Publicado 2008
Table of Contents: ... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...
Ligazón do recurso
Electrónico eBook
19
Publicado 2005
Table of Contents: ... -- Predicting Protein Folding Pathways -- Data Mining Methods for a Systematics of Protein Subcellular Location...
Ligazón do recurso
Electrónico eBook
20
Publicado 2014
Table of Contents: ... -- Answer-Set Programming A Complexity Assessment for Queries Involving Sufficient and Necessary Causes...
Ligazón do recurso
Electrónico eBook