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