1
Published 2008
Table of Contents: ... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...
View full text
Electronic eBook
2
Published 2015
Table of Contents: ... -- Batched Point Location in SINR Diagrams via Algebraic Tools -- On the Randomized Competitive Ratio...
View full text
Electronic eBook
3
Published 2014
Table of Contents: ... Strategies -- A Unified Approach for Semantic-Based Multimodal Interaction -- Building Multimodal Dialog User...
View full text
Electronic eBook
4
Published 2014
Table of Contents: ...Gesture-Based Interaction -- RemoteHand: A Wireless Myoelectric Interface -- Early Prototyping of 3...
View full text
Electronic eBook
5
Published 2015
Table of Contents: ... -- Probing of Nascent Riboswitch Transcripts -- Functional Studies of DNA-Protein Interactions Using FRET...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ...: Interacting with Locations -- Singing with Your Mobile: From DSP Arrays to Low-Cost Low-Power Chip Sets...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... Contexts -- Proof Contexts with Late Binding -- The -Calculus. Functional Programming with Higher-Order...
View full text
Electronic eBook
8
by Zhan, Zhimin., Zhan, Zhimin.
Published 2015
Table of Contents: ...1. Introduction -- 2. Locating Web Elements -- 3. Hyperlink -- 4. Button -- 5. TestField...
View full text
Electronic eBook
9
by O'Toole, Greg., O'Toole, Greg.
Published 2013
Table of Contents: ... -- Web User Research -- The Project -- Project Management -- Architecture -- Functionality -- Image...
View full text
Electronic eBook
10
Published 2007
Table of Contents: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ... Management in Distributed Systems -- Semantic Methods for P2P Query Routing -- Programming Cognitive Agents...
View full text
Electronic eBook
12
Published 2005
Table of Contents: ... Functions for Pleasant Music: Zipf’s Law and Interactive Evolution Systems -- Understanding Expressive Music...
View full text
Electronic eBook
13
Published 2008
Table of Contents: ... Video Decomposition Using Bounded Variation and Oscillatory Functions -- Reinstating Floyd-Steinberg...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... Fuzzy-Based CPU Scheduling Algorithm -- Object Location in Cluster Based Mobile Ad Hoc Networks...
View full text
Electronic eBook
16
Published 2007
Table of Contents: ... Management for Multicast of Ad Hoc Sensor Network -- An Accurate and Fast WLAN User Location Estimation...
View full text
Electronic eBook
17
Published 2015
Table of Contents: ... Combinatorial Algorithm for the Planar Multi flow Problem with Demands Located on Three Holes -- Generalized LR...
View full text
Electronic eBook
18
Published 2006
Table of Contents: ... Supporting Personal Security -- Privacy Sensitive Location Information Systems in Smart Buildings -- Silent...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... Reconstruction and Restoration -- Functional and Diffusion-Weighted MRI -- Modeling and Simulation -- Instrument...
View full text
Electronic eBook
20
Published 2005
Table of Contents: ... Interactive 3D Models via Vertex Shader Programming -- An Optimized Soft 3D Mobile Graphics Library Based...
View full text
Electronic eBook