1
Published 2005
Table of Contents: ... Programming with Branch and Price -- A Search-Infer-and-Relax Framework for Integrating Solution Methods...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... Integration of Jester – The JUnit Test Tester -- Extreme Programming: The Genesys Experience -- Shared Code...
View full text
Electronic eBook
3
Table of Contents: ...Inverse problems and subjective computing -- Basic problem of statistical inference -- The praise...
View full text
Electronic eBook
4
Published 2013
Table of Contents: ... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...
View full text
Electronic eBook
5
Table of Contents: ...: Astronomical Imaging System (AIS) Integration and Operation -- Chapter 9: The Practical AIS - The Sum...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... New Processing Model Based on Mobile Interactive Documents -- A Framework for Observing Dynamics...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... Biomedicine -- Phyl-O’Data (POD) from Tree of Life: Integration Challenges from Yellow Slimy Things to Black...
View full text
Electronic eBook
8
Published 2013
Table of Contents: ... Variability Effects from Process to Architectural Level -- Non-invasive Power Simulation at System-Level...
View full text
Electronic eBook
9
Published 2012
Table of Contents: ... Processing -- Learn to Swing Up and Balance a Real Pole Based on Raw Visual Input Data -- GPU-Based...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... -- An Integrated Approach to Battlefield Situation Assessment -- Negotiation Based on Personality -- MIAM: A Robot...
View full text
Electronic eBook
11
Published 2006
Table of Contents: ... by Genetic Programming -- Identifying Single Good Clusters in Data Sets -- A New Simplified Gravitational...
View full text
Electronic eBook
12
Published 2007
Table of Contents: ... and Communication -- Rapid and Accurate Data Integration Method for Reverse Engineering Applications -- Observations...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... Therapy -- Virtual Team Performance Depends on Distributed Leadership -- Nonverbal Behavior Observation...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ... Observation Equivalence Between Labelled State Transition Systems -- Program Reasoning and Testing -- Minimal...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ...Plenary Talk I -- The Distributed Sensor Networks – An Emerging Technology -- Distributed Computing...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... for Markovian Arrival Processes Observed at Discrete Times -- An Empirical Comparison of MAP Fitting Algorithms...
View full text
Electronic eBook
17
Published 2008
Table of Contents: ... -- Bebras International Contest on Informatics and Computer Literacy: Criteria for Good Tasks -- From Top...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...
View full text
Electronic eBook
19
Published 2011
Table of Contents: ...SENSORIA – Software Engineering for Service-Oriented Overlay Computers -- A Unifying Formal Basis...
View full text
Electronic eBook
20
Published 2014
Table of Contents: ... of Dynamic Process Models under Uncertainty -- Steps towards Web Ubiquitous Computing -- Estimation...
View full text
Electronic eBook