1
Publicat 2008
Taula de continguts: ... -- Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols -- Proving Ptolemy Right...
Obtenir text complet
Electrònic eBook
2
Publicat 2007
Taula de continguts: ... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...
Obtenir text complet
Electrònic eBook
3
Publicat 2008
Taula de continguts: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Obtenir text complet
Electrònic eBook
4
Publicat 2007
Taula de continguts: ...-Functional MDA Framework -- Information Preserving Bidirectional Model Transformations -- Activity-Driven...
Obtenir text complet
Electrònic eBook
5
Publicat 2013
Taula de continguts: ... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...
Obtenir text complet
Electrònic eBook
6
Publicat 2010
Taula de continguts: ... of Speakers by Name Using Belief Functions -- Constructing Multiple Frames of Discernment for Multiple...
Obtenir text complet
Electrònic eBook
7
Publicat 2008
Taula de continguts: ...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...
Obtenir text complet
Electrònic eBook
8
Publicat 2010
Taula de continguts: ... Based Approach for Optimal Clustering of Distributed Program's Call Flow Graph -- Fuzzy Adaptive Swarm...
Obtenir text complet
Electrònic eBook
9
Publicat 2006
Taula de continguts: ...Keynote Talk I -- Distributed Security Algorithms by Mobile Agents -- Session I A: Ad Hoc Networks...
Obtenir text complet
Electrònic eBook
10
Publicat 2005
Taula de continguts: ... and Multicasting in Static Wireless Ad Hoc Networks -- An Algorithm for Nonconvex Lower Semicontinuous Optimization...
Obtenir text complet
Electrònic eBook
11
Publicat 2010
Taula de continguts: ... Networks -- Heuristic Algorithms for Constructing Connected Dominating Sets with Minimum Size and Bounded...
Obtenir text complet
Electrònic eBook
12
Publicat 2005
Taula de continguts: ... Approximation Algorithms for Metric Max TSP -- Unbalanced Graph Cuts -- Low Degree Connectivity in Ad-Hoc...
Obtenir text complet
Electrònic eBook
13
Publicat 2010
Taula de continguts: ... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...
Obtenir text complet
Electrònic eBook
14
Publicat 2010
Taula de continguts: ... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...
Obtenir text complet
Electrònic eBook
15
Publicat 2005
Taula de continguts: ... Functions -- Fast Generic Model-Checking for Data-Based Systems -- Logic and Model Checking for Hidden...
Obtenir text complet
Electrònic eBook
16
Publicat 2010
Taula de continguts: ...: Efficient Constructions and Applications -- Estimating the Average of a Lipschitz-Continuous Function from...
Obtenir text complet
Electrònic eBook
17
Publicat 2008
Taula de continguts: ... Guide -- A Load Balancing Framework for Clustered Storage Systems -- Construction and Evaluation...
Obtenir text complet
Electrònic eBook
18
Publicat 2007
Taula de continguts: ... Management for Multicast of Ad Hoc Sensor Network -- An Accurate and Fast WLAN User Location Estimation...
Obtenir text complet
Electrònic eBook
19
Publicat 2007
Taula de continguts: ... -- Text Classification with Support Vector Machine and Back Propagation Neural Network -- Construction...
Obtenir text complet
Electrònic eBook
20
Publicat 2006
Taula de continguts: ... -- Adding Functionality to DNA Arrays: the Development of Semisynthetic DNA-Protein Conjugates -- Bacterial...
Obtenir text complet
Electrònic eBook