1
Published 2010
Table of Contents: ... and Wireless Communication: A Real Time Study -- IMM-I46: Inter Mobility Management for an Integrated IPv4...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... Warehousing Processes -- Information Fusion -- Uncertainty Estimation in the Fusion of Text-Based Information...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... Conversions and Interval Arithmetic -- An Interval Method for Seeking the Nash Equilibria of Non-cooperative...
View full text
Electronic eBook
6
Published 2014
Table of Contents: ... in MPI Programs -- Proof Patterns for Formal Methods -- Efficient Runtime Monitoring with Metric Temporal...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... Communication -- Embodied Conversational Agents: Computing and Rendering Realistic Gaze Patterns -- DBN Based...
View full text
Electronic eBook
8
Published 2014
Table of Contents: ... Detection by Multistage One-Class SVM Focusing on Communication Interval -- "Analysis and Configuration...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... Tracking Homotopy Iteration Method -- Fast Stereo Matching Method Using Edge Traction -- Hybrid Color Image...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ...: Scheduling in the Processing Industries -- Newton-Type Methods for Nonlinear Least Squares Using Restricted...
View full text
Electronic eBook
11
Published 2012
Table of Contents: ... Difference Method Programs -- On a Relationship between Typical Behavior and Initial Conditions of Lagrange’s...
View full text
Electronic eBook
12
Published 2005
Table of Contents: ... Processing Filters -- Learning Weights in Genetic Programs Using Gradient Descent for Object Recognition...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... Network Using GloMoSim -- Communication and Coverage in Wireless Networks -- Self-stabilizing...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... on Multicores and SMP Servers -- Programming with Intervals -- Adaptive and Speculative Memory Consistency...
View full text
Electronic eBook
15
Published 2014
Table of Contents: ... Method of Ranking for Intuitionistic Fuzzy Numbers -- Solution of Multi Objective Linear Programming...
View full text
Electronic eBook
16
Published 2007
Table of Contents: ...-objective Model Checking of Markov Decision Processes -- PReMo: An Analyzer for Probabilistic Recursive...
View full text
Electronic eBook
17
Published 2005
Table of Contents: ... in Neural Networks: One Layer Interval Neural Networks -- Communication Networks -- Design and Deployment...
View full text
Electronic eBook
18
Published 2005
Table of Contents: ... Ensembles -- Repeated Confidence Intervals in Self-Organizing Studies -- Fuzzy and Crisp Mahalanobis Fixed...
View full text
Electronic eBook
19
Published 2007
Table of Contents: ... Interval Skip Lists Exploiting Locality -- Accelerating XML Structural Matching Using Suffix Bitmaps...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ... Process -- Rotation Invariant Texture Classification Using Gabor Wavelets -- Harmful Contents...
View full text
Electronic eBook