1
Pubblicazione 2006
Sommario: ... Analysis -- Regular Papers -- Infinite Qualitative Simulations by Means of Constraint Programming...
Testo
Elettronico eBook
2
Pubblicazione 2014
Sommario: ... of Directed Reachability and Other Problems -- One Tile to Rule Them All: Simulating Any Tile Assembly System...
Testo
Elettronico eBook
3
Pubblicazione 2007
Sommario: ... for Constraint Satisfaction Problems -- On the Power of k-Consistency -- Complexity of Propositional Proofs Under...
Testo
Elettronico eBook
4
Pubblicazione 2005
Sommario: ... Constraint Programming -- The Problem of Assigning Evaluators to the Articles Submitted in an Academic Event...
Testo
Elettronico eBook
5
Pubblicazione 2007
Sommario: ... with a Low-Level Hybridization of Ants and Constraint Programming -- Profitability Comparison Between Gas...
Testo
Elettronico eBook
6
Pubblicazione 2012
Sommario: ... of Intermolecular Interaction Potential Energy Parameters for Monte-Carlo and Molecular Dynamics Simulations.-Phonon...
Testo
Elettronico eBook
7
Pubblicazione 2008
Sommario: ... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...
Testo
Elettronico eBook
8
Pubblicazione 2007
Sommario: ... Simulator Based on a Generic Model Execution Engine -- Queries and Constraints: A Comprehensive Semantic...
Testo
Elettronico eBook
9
Pubblicazione 2008
Sommario: ... and Scheduling Modeling Tool: The Workflow Patterns Approach -- Constraint Satisfaction and Optimization -- A...
Testo
Elettronico eBook
10
Pubblicazione 2013
Sommario: ... with Gap Constraint.- Smoothing Kernel Estimator for the ROC Curve-Simulation Comparative Study...
Testo
Elettronico eBook
11
Pubblicazione 2007
Sommario: ...Invited Papers -- The Disappearing Computer: User-Centered Interaction Design for Smart Artefacts...
Testo
Elettronico eBook
12
Pubblicazione 2005
Sommario: ... Programming Driven by User Models -- Data-Driven Refinement of a Probabilistic Model of User Affect...
Testo
Elettronico eBook
13
Pubblicazione 2008
Sommario: ... -- Recasting Constraint Automata into Büchi Automata -- A Complete Realisability Semantics for Intersection...
Testo
Elettronico eBook
14
Pubblicazione 2014
Sommario: ... -- Engineering Optimization Using SOMGA -- Goal Programming Approach to Trans-shipment Problem -- An Efficient...
Testo
Elettronico eBook
15
Pubblicazione 2010
Sommario: ... Computation, Communication and Resource Interaction -- Regular Papers -- Simulation of Kohn’s Molecular...
Testo
Elettronico eBook
16
Pubblicazione 2012
Sommario: ... Path-Consistency to Global Consistency in Temporal Qualitative Constraint Networks -- Rule Quality...
Testo
Elettronico eBook
17
Pubblicazione 2010
Sommario: ... in Videos -- Human-Machine Interaction -- A Testbed for Adaptive Human-Robot Collaboration -- Human Head...
Testo
Elettronico eBook
18
Pubblicazione 2007
Sommario: ... Problem -- Semicomplete Multipartite Digraphs Whose Every Arc Is Contained in a Hamiltonian Path...
Testo
Elettronico eBook
19
Pubblicazione 2007
Sommario: ... in Nanowires -- Monte Carlo Numerical Treatment of Large Linear Algebra Problems -- Simulation of Multiphysics...
Testo
Elettronico eBook
20
Pubblicazione 2006
Sommario: ... Assistants -- Exploration of the Capabilities of Constraint Programming for Software Verification...
Testo
Elettronico eBook