Yazar
Dhaenens, Clarisse. editor.
Format:
Electronic Resources
Alıntı:
Learning and Intelligent Optimization 9th International Conference, LION 9, Lille, France, January
Yazar
Agha, Gul. editor.
Format:
Electronic Resources
Alıntı:
topical sections entitled: Markov processes; tools; sampling, inference, and optimization methods; Markov
View Other Search Results
Yazar
Jobstmann, Barbara. editor.
Format:
Electronic Resources
Alıntı:
, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid
Yazar
McMillan, Kenneth L. editor.
Format:
Electronic Resources
Alıntı:
certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.
Yazar
Kulikov, Alexander S. editor.
Format:
Electronic Resources
Alıntı:
, but are not limited to: algorithms and data structures; combinatorial optimization; constraint solving
Yazar
Xu, Dachuan. editor.
Format:
Electronic Resources
Alıntı:
visualization; graph theory, communication networks, optimization and parallel and distributed computing.
Yazar
Krivine, Jean. editor.
Format:
Electronic Resources
Alıntı:
Target Gate based Circuits using Boolean Functional Decomposition -- Towards Code Optimization for
Yazar
Gopal, T. V. editor.
Format:
Electronic Resources
Alıntı:
Convex and Tree-like Set Systems -- space complexity of optimization problems in planar graphs -- Fine
Yazar
Dillig, Isil. editor.
Format:
Electronic Resources
Alıntı:
Inductive Proof Rules for Continuous Dynamical Systems -- Icing: Supporting Fast-math Style Optimizations in
Yazar
Chechik, Marsha. editor.
Format:
Electronic Resources
Alıntı:
Formulae for Session Types -- Bit-Vector Optimization -- Runtime Monitoring with Union-Find Structures
Yazar
Baier, Christel. editor.
Format:
Electronic Resources
Alıntı:
Probabilistic Programs -- Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost
Arama Sonuçlarını Sınırlandır
Daraltılmış: