Hakutulokset - interactive application program programmed constraints https

Tarkoititko:
interactive application » interactive applications , interaction applications , interactions application
programmed constraints » programming constraints , programs constraints , programming constraint
application program » application programming , application protocol
program programmed » program program , programming programmed , programmes programme
constraints https » constraints haptic , constraints data , constraints chap

Integration of AI and OR Techniques in Constraint Programming 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014, Proceedings /

Julkaistu 2014

Sisällysluettelo: “... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...”
Hae kokoteksti

Elektroninen E-kirja

Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings /

Julkaistu 2013

Sisällysluettelo: “... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”
Hae kokoteksti

Elektroninen E-kirja

Applications of Declarative Programming and Knowledge Management 19th International Conference...

Julkaistu 2013

Sisällysluettelo: “... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...”
Hae kokoteksti

Elektroninen E-kirja

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I /

Julkaistu 2015

Sisällysluettelo: “... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”
Hae kokoteksti

Elektroninen E-kirja

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Julkaistu 2014

Sisällysluettelo: “... and Their Applications -- On the Complexity of Trial and Error for Constraint Satisfaction Problems -- Information...”
Hae kokoteksti

Elektroninen E-kirja

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Julkaistu 2008

Sisällysluettelo: “... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”
Hae kokoteksti

Elektroninen E-kirja

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “... Constraint Programming Language -- HYPROLOG: A New Logic Programming Language with Assumptions and Abduction...”
Hae kokoteksti

Elektroninen E-kirja

Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday /

Julkaistu 2012

Sisällysluettelo: “... Logic Programs.- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints...”
Hae kokoteksti

Elektroninen E-kirja

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /

Julkaistu 2008

Sisällysluettelo: “... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”
Hae kokoteksti

Elektroninen E-kirja

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “... for Constraint Satisfaction Problems -- On the Power of k-Consistency -- Complexity of Propositional Proofs Under...”
Hae kokoteksti

Elektroninen E-kirja

Simulation, Modeling, and Programming for Autonomous Robots First International Conference, SIMPAR 2008 Venice, Italy, November 3-7, 2008. Proceedings /

Julkaistu 2008

Sisällysluettelo: “...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...”
Hae kokoteksti

Elektroninen E-kirja

Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers /

Julkaistu 2005

Sisällysluettelo: “...) -- Constraint Applications -- Playing the Minesweeper with Constraints -- Using Constraint Programming...”
Hae kokoteksti

Elektroninen E-kirja

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /

Julkaistu 2013

Sisällysluettelo: “... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...”
Hae kokoteksti

Elektroninen E-kirja

Typed Lambda Calculi and Applications 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “... Types -- Extensional Rewriting with Sums -- Higher-Order Logic Programming Languages with Constraints: A...”
Hae kokoteksti

Elektroninen E-kirja

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “... Application to the Protein Folding Problem -- Disjunctive Constraint Lambda Calculi -- Computational Issues...”
Hae kokoteksti

Elektroninen E-kirja

ECOOP 2006 - Object-Oriented Programming 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings /

Julkaistu 2006

Sisällysluettelo: “... for Interactive Applications -- Type Theory -- Variance and Generalized Constraints for C Generics -- A Semantic...”
Hae kokoteksti

Elektroninen E-kirja

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... in Cognitive Systems Architectures -- Full Papers -- Application of Naturalistic Decision Making to Emergency...”
Hae kokoteksti

Elektroninen E-kirja

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

Julkaistu 2005

Sisällysluettelo: “... -- Can Neural Network Constraints in GP Provide Power to Detect Genes Associated with Human Disease? -- A...”
Hae kokoteksti

Elektroninen E-kirja

Applications of Evolutionary Computing EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog /

Julkaistu 2008

Sisällysluettelo: “... Automated Trading -- Genetic Programming in Statistical Arbitrage -- Evolutionary System for Generating...”
Hae kokoteksti

Elektroninen E-kirja

Advances in Artificial Intelligence: Theories, Models, and Applications 6th Hellenic Conference on AI, SETN 2010, Athens, Greece, May 4-7, 2010. Proceedings /

Julkaistu 2010

Sisällysluettelo: “... Selection Strategies for Constraint Satisfaction Problems -- A Feasibility Study on Low Level Techniques...”
Hae kokoteksti

Elektroninen E-kirja

1
2
3
4
5
6
7
8
9
10
11
Seuraava »
[12]

Rajaa hakua