Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
programming computing » programming comparing, programming composing, programming computer
function tracking » function tracing, function attacking, function training
https function » its function, sites function, ups function
tracking https » teaching https, tracking hits, tracing http
programming computing » programming comparing, programming composing, programming computer
function tracking » function tracing, function attacking, function training
https function » its function, sites function, ups function
tracking https » teaching https, tracking hits, tracing http
1
2
Udgivet 2008
Indholdsfortegnelse:
“... and Efficiency -- Newton’s Method for ?-Continuous Semirings -- Track B: Logic, Semantics, and Theory...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2008
Indholdsfortegnelse:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2014
Indholdsfortegnelse:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2015
Indholdsfortegnelse:
“... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2015
Indholdsfortegnelse:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2006
Indholdsfortegnelse:
“...-Based Analysis of Global Function Computation -- Checking a Multithreaded Algorithm with ?+?CAL...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2010
Indholdsfortegnelse:
“... -- Session 10-Track B. Automata -- Regular Temporal Cost Functions -- Model Checking Succinct and Parametric...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2010
Indholdsfortegnelse:
“...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2005
Indholdsfortegnelse:
“... Resynchronization Therapy -- Methods for Identifying and Tracking Phase Singularities in Computational Models of Re...”Få fuldtekst
Electronisk
eBog
11
Indholdsfortegnelse:
“... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
12
Udgivet 2010
Indholdsfortegnelse:
“...On Yuri Gurevich -- Yuri, Logic, and Computer Science -- Database Theory, Yuri, and Me -- Technical...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2008
Indholdsfortegnelse:
“... of Computer Networks -- A Comparative Study of Fuzzy Inference Systems, Neural Networks and Adaptive Neuro...”Få fuldtekst
Electronisk
eBog
14
Udgivet 2010
Indholdsfortegnelse:
“... Trust in Cloud Computing -- SegSlice: Towards a New Class of Secure Programming Primitives...”Få fuldtekst
Electronisk
eBog
15
Indholdsfortegnelse:
“...Optimal Stabilization Control for Discrete-time Systems -- Optimal Tracking Control for Discrete...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
16
Udgivet 2008
Indholdsfortegnelse:
“...Invited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers...”Få fuldtekst
Electronisk
eBog
17
Udgivet 2010
Indholdsfortegnelse:
“... Population Using Pooled DNA -- Pathway-Based Functional Analysis of Metagenomes -- Hierarchical Generative...”Få fuldtekst
Electronisk
eBog
18
Udgivet 2008
Indholdsfortegnelse:
“... the Bankruptcy Prediction Problem Using Genetic Programming -- Using Kalman-filtered Radial Basis Function...”Få fuldtekst
Electronisk
eBog
19
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Udgivet 2013
Indholdsfortegnelse:
“... Propagation of Logic Program Updates -- Tracking Data-Flow with Open Closure Types -- Putting Newton...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2014
Indholdsfortegnelse:
“... Length Jobs with Commitment and Penalties -- The Lazy Matroid Problem -- Treewidth Computation...”Få fuldtekst
Electronisk
eBog