1
Published 2010
Table of Contents: ... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...
View full text
Electronic eBook
2
Published 2014
Table of Contents: ... Contract-Based Design -- Verification of Markov Decision Processes Using Learning Algorithms -- Test...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Process as a Pushdown Automaton -- Modeling Computational Security in Long-Lived Systems -- Contract...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... of Processes -- A Logic for True Concurrency -- A Theory of Design-by-Contract for Distributed Multiparty...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... -- Emotional Expression in Virtual Agents Through Body Language -- Visual Tracking for Seamless 3D Interactions...
View full text
Electronic eBook
6
Published 2011
Table of Contents: ...: Performance Studies of IEEE 802.11 a,b,g Laboratory Links -- 10. Interaction between the Mobile Phone...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... -- New Rules for Hybrid Spatial Reasoning -- Using Pre-aggregation for Efficient Spatial Query Processing...
View full text
Electronic eBook