1
Published 2007
Table of Contents: ... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...
View full text
Electronic eBook
2
Table of Contents: ...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... Coloured Petri Nets -- Efficient Session Type Guided Distributed Interaction -- Scalable Efficient...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... for the Applied ?-Calculus -- Structured Interactional Exceptions in Session Types -- Global Progress...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ...Session 1 -- Finding Small Holes -- Session 2A -- Approximate Range Searching: The Absolute Model...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... Construction Part of SIFT -- Weighted Map for Reflectance and Shading Separation Using a Single Image...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... and Internet Computing -- SoMeONe -- Engineering Multiagent Systems Based on Interaction Protocols: A...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ...Research Session -- The Epsilon Generation Language -- Constructing and Visualizing Transformation...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ... Cases -- Constructing a Safety Case for Automatically Generated Code from Formal Program Verification...
View full text
Electronic eBook
11
Published 2006
Table of Contents: ... -- Session 1. Proofs -- Flyspeck I: Tame Graphs -- Automatic Construction and Verification of Isotopy...
View full text
Electronic eBook
12
Published 2005
Table of Contents: ...-Performance Microprocessors -- Low Power Robust Computing -- Networks and Games -- Plenary Session - Best...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... for Emergency Decision-Making Support -- Interactive Fuzzy Goal Programming Approach for Optimization...
View full text
Electronic eBook
14
Published 2012
Table of Contents: ... Lectures -- Enhancing Orchestration of Lab Sessions by Means of Awareness Mechanisms -- Discerning...
View full text
Electronic eBook
15
Published 2006
Table of Contents: ... -- Short Paper Session II -- Automatic Construction of a Japanese Onomatopoeic Dictionary Using Text Data...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... for Interactive Level Set with Application to MR Image Segmentation -- Motion and Tracking -- Attention-Based...
View full text
Electronic eBook
17
Published 2007
Table of Contents: ...Invited Papers -- The Disappearing Computer: User-Centered Interaction Design for Smart Artefacts...
View full text
Electronic eBook
18
Published 2006
Table of Contents: ...) -- Preface -- Session 1: Enterprise Systems Interoperability Issues -- Shop Floor Information Management...
View full text
Electronic eBook
19
Published 2006
Table of Contents: ... Preference Specifications for Application Sessions -- Mobile Ad Hoc Services: Semantic Service Discovery...
View full text
Electronic eBook
20
Published 2006
Table of Contents: ...Session 1: Mobile Ad-Hoc Networks -- Simulating Mobile Ad-Hoc Networks in City Scenarios -- Context...
View full text
Electronic eBook