1
Table of Contents: ... -- Partitioning the Phylogenetic, Functional, Environmental and Spatial Components of Community Diversity...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...
View full text
Electronic eBook
3
Table of Contents: ... Data -- Geocoding -- Manipulating SDO_GEOMETRY in Application Programs -- Spatial and Network Analysis...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ... -- A Logic Programming Framework for Combinational Circuit Synthesis -- Spatial-Yap: A Logic-Based...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...
View full text
Electronic eBook
6
Published 2015
Table of Contents: ...Probabilistic Programs as Spreadsheet Queries -- Static Analysis of Spreadsheet Applications...
View full text
Electronic eBook
7
Published 2014
Table of Contents: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
View full text
Electronic eBook
8
Published 2012
Table of Contents: ... Model of Fire Ant Competition with Cave Crickets at Fort Hood, Texas -- Spatially Explicit Agent-Based...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... Actuarial Methods -- Part VII: Data Stream Mining -- Part VIII: Functional Data Analysis -- Part IX: Kernel...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ... and Compiler Construction -- Code Compression -- Papers -- Functional Framework for Sound Synthesis...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Programming Approach -- Full Satisfiability of UML Class Diagrams -- On Enabling Data-Aware Compliance...
View full text
Electronic eBook
13
by Bjørner, Dines., Bjørner, Dines.
Published 2006
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
14
Table of Contents: ... Areas -- Bibliography -- General Index -- R Function and Parameter Index -- R Package Index -- R Class...
View full text
Electronic eBook
15
Published 2006
Subjects: ...Regional/Spatial Science. https://scigraph.springernature.com/ontologies/product-market-codes/W...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...
View full text
Electronic eBook
17
Published 2007
Table of Contents: ... -- Specification and Verification of Institutions Through Status Functions -- NORMATIVE MODELS AND ISSUES...
View full text
Electronic eBook
18
Published 2012
Table of Contents: ... (Marino M., Palumbo F., Tortora C.) -- Clustering geostatistical functional data (Romano E., Verde R...
View full text
Electronic eBook
19
Published 2005
Table of Contents: ... and Programming -- Proving and Disproving Termination of Higher-Order Functions -- Proving Liveness with Fairness...
View full text
Electronic eBook
20
Published 2013
Table of Contents: ...-Physical Systems -- Embedding Functions into Disjunctive Logic Programs -- Reactive Designs of Interrupts...
View full text
Electronic eBook