Αποτελέσματα αναζήτησης - computational constraint programming recursion arrays a~

Εναλλακτικές αναζητήσεις:
computational constraint » computational constraints , compositional constraints , computational contact
programming recursion » programming decision , programming session , programming decisions
recursion arrays » recursion versus
arrays a » arrays _

Computer Algebra in Scientific Computing 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings /

Έκδοση 2005

Πίνακας περιεχομένων: “... Resolution of Singularities of a Space Curve -- Quantifier Elimination for Constraint Logic Programming...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Έκδοση 2012

Πίνακας περιεχομένων: “... and Applications to Aerodynamics .-Processor Array Design with the Use of Genetic Algorithm.-A Hybrid Genetic...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Έκδοση 2007

Πίνακας περιεχομένων: “...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings /

Έκδοση 2008

Πίνακας περιεχομένων: “... of Aspect-Oriented Programs through Declarative Reasoning -- Efficient Reasoning for Nogoods in Constraint...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

Έκδοση 2005

Πίνακας περιεχομένων: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings /

Έκδοση 2008

Πίνακας περιεχομένων: “... Linear Constraints for Moding CLP( ) Programs -- On Polymorphic Recursion, Type Systems, and Abstract...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

Έκδοση 2006

Πίνακας περιεχομένων: “... for Parameterized Verification -- Error Control for Probabilistic Model Checking -- Field Constraint Analysis -- A...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

Advances in Artificial Intelligence - IBERAMIA 2010 12th Ibero-American Conference on AI, Bahía Blanca, Argentina, November 1-5, 2010, Proceedings /

Έκδοση 2010

Πίνακας περιεχομένων: “... Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics -- Evolutionary...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

Περιορισμός αναζήτησης