1
Published 2010
Table of Contents: ...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...
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 2010
Table of Contents: ...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...
View full text
Electronic eBook
7
Published 2013
Table of Contents: ....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... Programming Perspective -- Recent Advances in Mining Time Series Data -- Focus the Mining Beacon: Lessons...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... Transliteration with Precise Alignment of Phoneme Chunks and Using Contextual Features -- Combining Sentence...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ... for Robotic Control -- The Solution of Semi-Infinite Linear Programs Using Boosting-Like Methods -- Spectral...
View full text
Electronic eBook
11
Published 2006
Table of Contents: ... Databases -- Dynamic Contextual Regulations in Open Multi-agent Systems -- From Typed-Functional Semantic...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Contextualized Knowledge Framework for Semantic Web -- Computational and Crowdsourcing Methods for Extracting...
View full text
Electronic eBook
13
Published 2008
Table of Contents: ... -- Probabilistically Guided Prefix Gene Expression Programming -- Flocking-based Document Clustering on the Graphics...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... in Probabilistic Algorithms -- Inverted Lists Compression Using Contextual Information -- Hybrid Intelligent...
View full text
Electronic eBook
15
Published 2015
Table of Contents: ... -- Optimization of Livestock Feed by Blend of Linear Programming and SOMGA -- Earthquake Data Sorting with Minimum...
View full text
Electronic eBook