Cerca anche:
inference optimization » preference optimization, incidence optimization, interface optimization
construction https » instruction https, conservation https, construction history
programs program » programming program
program program » programming program
1
Pubblicazione 2013
Sommario: ... Logic Programming -- Opening Doors: An Initial SRL Approach -- Probing the Space of Optimal Markov Logic...
Testo
Elettronico eBook
2
Pubblicazione 2008
Sommario: ... Handlers as Extensible Cases -- Sound and Complete Type Inference for a Systems Programming Language...
Testo
Elettronico eBook
3
Pubblicazione 2010
Sommario: ... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...
Testo
Elettronico eBook
4
di Sestoft, Peter., Sestoft, Peter.
Pubblicazione 2012
Sommario: ... -- Locally Optimizing Compiler -- Crash Course in F# -- Index....
Testo
Elettronico eBook
5
Pubblicazione 2013
Sommario: ... Programming -- Belief Change in Nonmonotonic Multi-Context Systems -- On optimal solutions of answer set...
Testo
Elettronico eBook
6
Pubblicazione 2008
Sommario: ... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...
Testo
Elettronico eBook
7
Pubblicazione 2005
Sommario: ... Programming Based Column Generation -- Group Construction for Airline Cabin Crew: Comparing Constraint...
Testo
Elettronico eBook
8
Pubblicazione 2005
Sommario: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Testo
Elettronico eBook
9
Pubblicazione 2007
Sommario: ... Tractable Classes of Horn Clauses -- Infering Ownership Types for Encapsulated Object-Oriented Program...
Testo
Elettronico eBook
10
Pubblicazione 2015
Sommario: ... for Probabilistic Programs -- Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost...
Testo
Elettronico eBook
11
Sommario: ... -- Linear time series and optimal linear prediction -- Model-based prediction in autoregression -- Model...
Testo
Elettronico eBook
12
Pubblicazione 2007
Sommario: ... for Executing Scenario-Based Programs, -- motor:The modest Tool Environment -- Syntactic Optimizations for PSL...
Testo
Elettronico eBook
13
Pubblicazione 2008
Sommario: ...: Representational Frameworks for Discrete Dynamic Systems -- Constructing Web Corpora through Topical Web...
Testo
Elettronico eBook
14
Pubblicazione 2010
Sommario: ... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...
Testo
Elettronico eBook
15
Pubblicazione 2005
Sommario: ... of State for Adjacent Agents -- Optimal Behavior of a Moving Creature in the Cellular Automata Model...
Testo
Elettronico eBook
16
Pubblicazione 2014
Sommario: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Testo
Elettronico eBook
17
di Albert, Jim., Albert, Jim.
Pubblicazione 2007
Soggetti: ...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...
Testo
Elettronico eBook
18
Pubblicazione 2010
Sommario: ... Based Approach for Optimal Clustering of Distributed Program's Call Flow Graph -- Fuzzy Adaptive Swarm...
Testo
Elettronico eBook
19
Pubblicazione 2005
Sommario: ...Invited Talks -- The Evolution of Optimality: De Novo Programming -- Many-Objective Optimization...
Testo
Elettronico eBook
20
Pubblicazione 2010
Sommario: ... of C Programs -- Analysing Message Sequence Graph Specifications -- Optimize Context-Sensitive Andersen...
Testo
Elettronico eBook