Torthaí Cuardaigh - interaction constraints programming programming constraints https

Cuardaigh malartuithe:
interaction constraints » information constraints , informational constraints , contestations constraints
constraints programming » constraint programming , constrained programming , constraint programing
programming programming » programming programmed , programming program
programming constraints » programming constraint , programming constrained , programming constructs
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 /

Foilsithe 2014

Clár Ábhair: “... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Principles and Practice of Constraint Programming - CP 2006 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings /

Foilsithe 2006

Clár Ábhair: “... -- Algorithms and Constraint Programming -- Interval Analysis and Robotics -- Constraint Based Resilience...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2013

Clár Ábhair: “... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2005

Clár Ábhair: “... Constraint Programming Language -- HYPROLOG: A New Logic Programming Language with Assumptions and Abduction...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2008

Clár Ábhair: “... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2015

Clár Ábhair: “... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2008

Clár Ábhair: “... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

Foilsithe 2010

Clár Ábhair: “...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2014

Clár Ábhair: “...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2007

Clár Ábhair: “... for Constraint Satisfaction Problems -- On the Power of k-Consistency -- Complexity of Propositional Proofs Under...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2008

Clár Ábhair: “...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2012

Clár Ábhair: “... Logic Programs.- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2005

Clár Ábhair: “...: A Practical Solution Incorporating Constraint Programming and Heuristics -- An Interactive Tool...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2013

Clár Ábhair: “... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /

Foilsithe 2015

Clár Ábhair: “... Approach to Reason with Conditionals -- Interactive debugging of non-ground ASP programs -- Linking Open...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Fuzzy Stochastic Multiobjective Programming

le Sakawa, Masatoshi., Sakawa, Masatoshi., Nishizaki, Ichiro., Katagiri, Hideki.
Foilsithe 2011

Clár Ábhair: “... Multiobjective Stochastic Programming -- Chapter 4. Multiobjective Fuzzy Random Programming -- Chapter 5...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2005

Clár Ábhair: “.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2013

Clár Ábhair: “... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings /

Foilsithe 2007

Clár Ábhair: “...From Hilbert’s Program to a Logic Toolbox -- On the Notion of Vacuous Truth -- Whatever Happened...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2006

Clár Ábhair: “... for Interactive Applications -- Type Theory -- Variance and Generalized Constraints for C Generics -- A Semantic...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

1
2
3
4
5
6
7
8
9
10
11
Ar aghaidh »
[15]

Cuardach Cúng