1
by Faison, Ted., Faison, Ted.
Published 2006
Table of Contents: ... Firing -- Event-Based Interaction Patterns -- Functional Roles -- Case Study 1: A System Browser -- Case...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... -- An Empirical Boosting Scheme for ROC-Based Genetic Programming Classifiers -- Confidence Intervals...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
View full text
Electronic eBook
8
Published 2014
Table of Contents: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ... in Cryptography -- Credentials-Based Authorization: Evaluation and Implementation -- Subexponential Parameterized...
View full text
Electronic eBook
10
Published 2015
Table of Contents: ... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...
View full text
Electronic eBook
11
Published 2013
Table of Contents: ... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...
View full text
Electronic eBook
13
Published 2014
Table of Contents: ... Strategies -- A Unified Approach for Semantic-Based Multimodal Interaction -- Building Multimodal Dialog User...
View full text
Electronic eBook
14
Published 2006
Table of Contents: ... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ... for Differential Interaction Nets -- Complexity of Planning in Action Formalisms Based on Description Logics...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... Building -- Population Sizing for Genetic Programming Based on Decision-Making -- Considering the Roles...
View full text
Electronic eBook
17
Published 2005
Table of Contents: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
View full text
Electronic eBook
18
Published 2013
Table of Contents: ... Complexity of Constraint Satisfaction and Reasoning -- Translating Nondeterministic Functional Language based...
View full text
Electronic eBook
19
Published 2006
Table of Contents: ...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...
View full text
Electronic eBook
20
by Clark, Dan., Clark, Dan.
Published 2013
Table of Contents: ...Overview of Object-Oriented Programming -- Designing OOP Solutions: Identifying the Class Structure...
View full text
Electronic eBook