1
Published 2007
Table of Contents: ... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...
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: ... the Community -- Enhancing the Church Community Application -- GamingTrend -- Understanding the Problems...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...
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: ... of Video Based on the Association Graph Construction of Video Objects -- Using SOA Concept to Construct...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... -- The Construction of “Equal Agency” in the Development of Technology -- Community-Technology Interfaces...
View full text
Electronic eBook
8
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
9
Published 2010
Table of Contents: ...D Virtual Agents -- Unbiased Statistics of a Constraint Satisfaction Problem – a Controlled-Bias...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... -- Decision Theoretic Dialogue Planning for Initiative Problems -- A Semi-automated Wizard of Oz Interface...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... -- Beyond Frontier Exploration -- Robot Building for Preschoolers -- A Simulation Environment for Middle...
View full text
Electronic eBook
12
Published 2007
Table of Contents: ... Evolution -- Learning from What Others Know: Privacy Preserving Cross System Personalization -- Construction...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... Interface -- Multi-dimensional Data Visualization using Concentric Coordinates -- Construct Connotation...
View full text
Electronic eBook
14
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
15
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
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: ... Expansion by WordNet -- Webified Video: Media Conversion from TV Programs to Web Content for Cross-Media...
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: ... Network Encryption Protocol in the OTS/CafeOBJ Method -- Model-Driven Design-Space Exploration...
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