1
Published 2007
Table of Contents: ...-objective Model Checking of Markov Decision Processes -- PReMo: An Analyzer for Probabilistic Recursive...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... Advantages of Partitioned Global Address Space Languages -- Tutorials -- Using MPI-2: A Problem-Based...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ...String Processing and Information Retrieval 2005 -- Enhanced Byte Codes with Restricted Prefix...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ...Speech Segregation: Problems and Perspectives -- Auditory Scene Analysis -- Speech separation...
View full text
Electronic eBook
5
Published 2012
Table of Contents: ... Dynamic Constraint Optimization Problems Using ICHEA -- An Incremental Approach to Solving Dynamic...
View full text
Electronic eBook
6
Published 2012
Table of Contents: ... Time-of-Arrival Measurements -- Construction of Decision Trees by Using Feature Importance Value...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... Tracking Homotopy Iteration Method -- Fast Stereo Matching Method Using Edge Traction -- Hybrid Color Image...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ... Constraints to a Virtual Course Using a Formal Approach to the Interactions in Collaborative Learning...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... Directory Construction Using Lexical Chains -- Email Categorization with Tournament Methods -- Knowledge...
View full text
Electronic eBook
10
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
11
Published 2006
Table of Contents: ... -- Implementing Software Process Improvement Initiatives: An Empirical Study -- Using Linear Regression Models...
View full text
Electronic eBook
12
Published 2014
Table of Contents: ... Sandwich Plates of Linearly Varying Thickness -- Solve Shortest Paths Problem by using Artificial Bee...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... University Timetabling Problem -- An Investigation of Automated Planograms Using a Simulated Annealing Based...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ... -- Precise Extraction of Partially Occluded Objects by Using HLAC Features and SVM -- Full Papers...
View full text
Electronic eBook
15
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
16
Published 2013
Table of Contents: ... in CISCO’s Unified Presence Systems.- GPU-Accelerated Bidirected De Bruijn Graph Construction for Genome...
View full text
Electronic eBook
17
Published 2012
Table of Contents: ... Interaction -- Immobile Haptic Interface Using Tendon Electrical Stimulation -- STRAVIGATION: a vibrotactile...
View full text
Electronic eBook
18
Published 2005
Table of Contents: ... into Robust Human-Scale Dynamically Balanced Soccer Robots -- A Constructive Feature Detection Approach...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... -- Guessing What’s on Your Mind: Using the N400 in Brain Computer Interfaces -- A Brain Data Integration Model...
View full text
Electronic eBook
20
Published 2013
Table of Contents: ... Classroom -- 5.Focus-based Constructive Interaction -- 6.Collaborative and Differential Utterances, Pivotal...
View full text
Electronic eBook