Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
programming programming » programming programmed, programming program
programming constructs » programming concepts, programming contest
learning programming » learning programme, planning programming, learning programmes
integrated learning » integrated marketing, interactive learning
constructs loops » constructs lists, constructs coders, constructs core
programming programming » programming programmed, programming program
programming constructs » programming concepts, programming contest
learning programming » learning programme, planning programming, learning programmes
integrated learning » integrated marketing, interactive learning
constructs loops » constructs lists, constructs coders, constructs core
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
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
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