1
Publicat 2005
Taula de continguts: ... Components for Timetabling -- An Open Interactive Timetabling Tool -- Distributed Choice Function Hyper...
Obtenir text complet
Electrònic eBook
2
Publicat 2010
Taula de continguts: ... -- Multiplication Algorithms for Monge Matrices -- Why Large Closest String Instances Are Easy to Solve in Practice...
Obtenir text complet
Electrònic eBook
3
Publicat 2013
Taula de continguts: ... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...
Obtenir text complet
Electrònic eBook
4
Publicat 2015
Taula de continguts: ... of Dynamic Process Networks -- MULTIGAIN: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff...
Obtenir text complet
Electrònic eBook
5
Publicat 2014
Taula de continguts: ... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...
Obtenir text complet
Electrònic eBook
6
Publicat 2014
Taula de continguts: ... in Traffic Accidents Occurred at the Road Intersection Based on Image Processing -- A Hybrid Method...
Obtenir text complet
Electrònic eBook
7
Publicat 2013
Taula de continguts: ... -- Practical Fully Simulatable Oblivious Transfer with Sublinear Communication -- Unconditionally-Secure Robust...
Obtenir text complet
Electrònic eBook
8
Publicat 2005
Taula de continguts: ... -- Identifying and Meshing Thin Sections of 3-d Curved Domains -- Session 3A -- Stitching and Filling: Creating...
Obtenir text complet
Electrònic eBook
9
Publicat 2013
Taula de continguts: ... Components to Improve Harmony Search -- A Massive Parallel Cellular GPU Implementation of Neural Network...
Obtenir text complet
Electrònic eBook
10
Publicat 2008
Taula de continguts: ... Computing System -- Computable Statistical Research and Practice -- Implicit and Explicit Parallel Computing...
Obtenir text complet
Electrònic eBook
11
Publicat 2011
Taula de continguts: ...The pharmacological screening process:the small molecule, the biological target, the robot...
Obtenir text complet
Electrònic eBook
12
Publicat 2008
Taula de continguts: ... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...
Obtenir text complet
Electrònic eBook
13
Publicat 2013
Taula de continguts: ... Classifiers to Data Stream Classification -- Efficacy of Some Primary Discriminant Functions in Diagnosing...
Obtenir text complet
Electrònic eBook
14
Publicat 2014
Taula de continguts: ... Approach to Analyzing Utility Functions -- Towards the Typing of Resource Deployment -- Static Inference...
Obtenir text complet
Electrònic eBook
15
Publicat 2010
Taula de continguts: ... Multipartite Quantum Systems and Its Role in Quantum Information Processing Tasks -- GPGPU Based Simulations...
Obtenir text complet
Electrònic eBook
16
Publicat 2008
Taula de continguts: ... for Consistency and Coverage Analysis of Assertion Specifications -- DiVinE Multi-Core – A Parallel LTL Model...
Obtenir text complet
Electrònic eBook