Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactive computing » interactive computer
computing programming » computer programming, computers programming
constraint https » constraint atoms, constraint graphs, constraint codes
data constraint » data constraints, date constraints, delay constraint
interactive computing » interactive computer
computing programming » computer programming, computers programming
constraint https » constraint atoms, constraint graphs, constraint codes
data constraint » data constraints, date constraints, delay constraint
1
Published 2014
Table of Contents:
“... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...”View full text
Electronic
eBook
2
Published 2013
Table of Contents:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... -- Online Conflict-Free Colorings for Hypergraphs -- Distributed Computing with Advice: Information...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... -- Horizontal Fragmentation for Data Outsourcing with Formula-Based Confidentiality Constraints -- Experimental...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”View full text
Electronic
eBook
8
Published 2013
Table of Contents:
“...On Generating Soft Real-Time Programs for Non-Real-Time Environments -- A Formal Ontology...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“...Invited Papers -- Human Habitat Data in 3D for the Internet -- I: Computer Graphics Theory...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... Constraint Programming Language -- HYPROLOG: A New Logic Programming Language with Assumptions and Abduction...”View full text
Electronic
eBook
11
Published 2015
Table of Contents:
“... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“... Matchgates -- Testing Probability Distributions Underlying Aggregated Data -- Parallel Repetition...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... Segmentation -- An Interactive EA for Multifractal Bayesian Denoising -- Object Detection for Computer Vision...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“... -- Interpolation by Piecewise Quadric Polynomial to Scattered Data Points -- Detection and Localization of the Top...”View full text
Electronic
eBook
15
Published 2014
Table of Contents:
“...Image and Template Security for Palmprint -- Extending Network Lifetime by Time Constrained Data...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... Constraints to a Virtual Course Using a Formal Approach to the Interactions in Collaborative Learning...”View full text
Electronic
eBook
17
Published 2014
Table of Contents:
“... Prediction -- Multi-context logics-a general introduction -- Constraint programming for context comprehension...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... and Parsing -- Computational Models of Language Acquisition -- ETL Ensembles for Chunking, NER and SRL...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... on Large Sets of Image Data -- Learning Logic Rules for Scene Interpretation Based on Markov Logic Networks...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“...ST: Computational Bioimaging I -- Ontology-Driven Image Analysis for Histopathological Images...”View full text
Electronic
eBook