1
Table of Contents: ... -- Reusable Actions: Functions -- Functional Programming Tools in Python -- Further Reading -- Exercises...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... Algorithms for Computational Science on the Grid: Three Case Studies -- Security Mechanism for Medical Image...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... and Parsing -- Computational Models of Language Acquisition -- ETL Ensembles for Chunking, NER and SRL...
View full text
Electronic eBook
6
by Horstmann, Cay S.
Published 2013
Subjects: ...Java (Computer program language)....
Cover image
Book
7
Published 2005
Table of Contents: ... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ... Case Study for Graph Transformation Tools -- Generation of Sierpinski Triangles: A Case Study for Graph...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ... for Executing Scenario-Based Programs, -- motor:The modest Tool Environment -- Syntactic Optimizations for PSL...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ... -- Defining the Process for Making Software System Modernization Decisions -- Introducing Tool Support...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ...: Using Secondary Education Case Study -- Annotating Indian Tribal Medicinal Documents Using Semi...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Processing, Advanced Computation Models -- Recursive Queries Using Object Relational Mapping -- Agent Based...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... Case Based Spatial Topological Data Retrieval -- Providing Consistent Service for Structured P2P...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ... Support Vector Machine for Modeling of Pulsed GTAW Process -- Design of Simple Structure Neural Voltage...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ...Keynote Talks -- Evolving Integrative Brain-, Gene-, and Quantum Inspired Systems for Computational...
View full text
Electronic eBook