1
Published 2007
Table of Contents: ...-Dependence Analysis and Program Transformation for Symbolic Execution -- JPF–SE: A Symbolic Execution...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... -- Interfaces as Games, Programs as Strategies -- ?Z: Zermelo’s Set Theory as a PTS with 4 Sorts -- Exploring...
View full text
Electronic eBook
3
by Alameda, Eldon., Alameda, Eldon.
Published 2007
Table of Contents: ...Making the Right Preparations (Don’t Skip This Part) -- Building a Development Environment...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... Freeware to Construct a Game-Based Learning System -- Intelligent Systems -- Three Kinds of Negations...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ...-objective Programming Application for Time-Cost Trade-off of CPM in Project Management -- A Study on Two...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... Hybridization Schemata -- A Hybrid Cellular Genetic Algorithm for Multi-objective Crew Scheduling Problem...
View full text
Electronic eBook
7
by Thomas, Adrian., Thomas, Adrian.
Published 2008
Table of Contents: ... Searching & Problem Solving -- Display System and Hardware Programming Primitives -- Computer Hardware...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... Multimedia Phone and Artistic Expression: A Case Study of Moby Click -- Problems of Researching and Involving...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... in GSM Networks -- Adaptive Local Search for a New Military Frequency Hopping Planning Problem -- SS vs...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ...D Virtual Agents -- Unbiased Statistics of a Constraint Satisfaction Problema Controlled-Bias...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... Interface -- Multi-dimensional Data Visualization using Concentric Coordinates -- Construct Connotation...
View full text
Electronic eBook
12
Published 2005
Table of Contents: ... -- Decision Theoretic Dialogue Planning for Initiative Problems -- A Semi-automated Wizard of Oz Interface...
View full text
Electronic eBook
13
Published 2008
Table of Contents: ... -- Beyond Frontier Exploration -- Robot Building for Preschoolers -- A Simulation Environment for Middle...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... Explanations -- Applications for Cognitive User Modeling -- Identifiability: A Fundamental Problem of Student...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... Construction Skills on Students’ Spontaneous Use of Diagrams When Solving Math Word Problems -- Hi-tree Layout...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... into Robust Human-Scale Dynamically Balanced Soccer Robots -- A Constructive Feature Detection Approach...
View full text
Electronic eBook
17
Published 2005
Table of Contents: ... Matching Problem as a Constraint Optimization Problem -- Evolving XML Schemas and Documents Using UML Class...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... with Class Priors -- Interfaces to Knowledge Bases -- Natural Language Interfaces: What Is the Problem? – A...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... Placement Problem in Smart Grid Deployment -- Web Science -- Towards a Research Agenda for Enterprise...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ... Exploration Problem on Cycles -- Straightening Drawings of Clustered Hierarchical Graphs -- Improved Upper...
View full text
Electronic eBook