1
Pubblicazione 2013
Sommario: ...Programming with People: Integrating Human-Based and Digital -- Optimal Register Allocation...
Testo
Elettronico eBook
2
Pubblicazione 2013
Sommario: ... -- Analysis of Boolean Programs -- Weighted Pushdown Systems with Indexed Weight Domains -- Underapproximation...
Testo
Elettronico eBook
3
Pubblicazione 2006
Sommario: ... -- Constructing Camin-Sokal Phylogenies Via Answer Set Programming -- Automata for Positive Core XPath Queries...
Testo
Elettronico eBook
4
Pubblicazione 2007
Sommario: ... Solving -- An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming...
Testo
Elettronico eBook
5
Pubblicazione 2014
Sommario: ... Specifications with Observational Semantics -- Synthesis for Human-in-the-Loop Control Systems -- Learning...
Testo
Elettronico eBook
6
Pubblicazione 2014
Sommario: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Testo
Elettronico eBook
7
Pubblicazione 2012
Sommario: ...-convex Optimization on Stiefel Manifold and Applications to Machine Learning -- Local Patch Dissimilarity...
Testo
Elettronico eBook
8
Pubblicazione 2010
Sommario: ...-Based Two-Phase Decomposition -- ST: Behavior Detection and Modeling -- Learning Scene Entries and Exits...
Testo
Elettronico eBook