1
Published 2005
Table of Contents: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...
View full text
Electronic eBook
3
Published 2015
Table of Contents: ... Programming -- Big Data, Big Systems, Big Challenges: A Personal Experience -- An Automatic Technique...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... -- Improved Algorithms for Two Single Machine Scheduling Problems -- N-Person Noncooperative Game...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... -- Personalization of Search Profile Using Ant Foraging Approach -- A Novel Convinced Diffie-Hellman Computation...
View full text
Electronic eBook
11
Published 2014
Table of Contents: ... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...
View full text
Electronic eBook
12
Published 2006
Table of Contents: ... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ... of a Novel Integer Programming Model to Deal with Energy Consumption in Heterogeneous Wireless Sensor...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ...) -- Letter Based Text Scoring Method for Language Identification -- Parallel and Distributed Data Processing...
View full text
Electronic eBook
17
Published 2005
Table of Contents: ... in Computer Role-Playing Games -- Telepresence Techniques for Controlling Avatar Motion in First Person Games...
View full text
Electronic eBook
18
Published 2007
Table of Contents: ... of Ideal and Empirical ROC-Based Reject Rules -- Outlier Detection with Kernel Density Functions -- Generic...
View full text
Electronic eBook
19
Published 2012
Table of Contents: ... Video Stabilization -- Automatic Construction of Invariant Features Using Genetic Programming for Edge...
View full text
Electronic eBook
20
Published 2005
Table of Contents: ... for Dynamic Parameter Control of Parallel Evolutionary Algorithms -- Robust Inference of Bayesian Networks...
View full text
Electronic eBook