1
Subjects: ...Programming languages (Electronic computers)....
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... and Efficiency -- Newton’s Method for ?-Continuous Semirings -- Track B: Logic, Semantics, and Theory...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
View full text
Electronic eBook
4
Published 2014
Table of Contents: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
View full text
Electronic eBook
5
Published 2015
Table of Contents: ... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...
View full text
Electronic eBook
6
Published 2015
Table of Contents: ... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... -- Session 10-Track B. Automata -- Regular Temporal Cost Functions -- Model Checking Succinct and Parametric...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... Resynchronization Therapy -- Methods for Identifying and Tracking Phase Singularities in Computational Models of Re...
View full text
Electronic eBook
10
by Li, Xingfeng., Li, Xingfeng.
Published 2014
Table of Contents: ... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...
View full text
Electronic eBook
11
Published 2006
Table of Contents: ...-Based Analysis of Global Function Computation -- Checking a Multithreaded Algorithm with ?+?CAL...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ...On Yuri Gurevich -- Yuri, Logic, and Computer Science -- Database Theory, Yuri, and Me -- Technical...
View full text
Electronic eBook
13
Table of Contents: ...Optimal Stabilization Control for Discrete-time Systems -- Optimal Tracking Control for Discrete...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ...Invited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ... of Computer Networks -- A Comparative Study of Fuzzy Inference Systems, Neural Networks and Adaptive Neuro...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... Trust in Cloud Computing -- SegSlice: Towards a New Class of Secure Programming Primitives...
View full text
Electronic eBook
17
Published 2008
Table of Contents: ... the Bankruptcy Prediction Problem Using Genetic Programming -- Using Kalman-filtered Radial Basis Function...
View full text
Electronic eBook
18
Published 2013
Table of Contents: ... Propagation of Logic Program Updates -- Tracking Data-Flow with Open Closure Types -- Putting Newton...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... Population Using Pooled DNA -- Pathway-Based Functional Analysis of Metagenomes -- Hierarchical Generative...
View full text
Electronic eBook
20
Published 2014
Table of Contents: ... Length Jobs with Commitment and Penalties -- The Lazy Matroid Problem -- Treewidth Computation...
View full text
Electronic eBook