Søgeresultater - intersection constraint programming programming arrays a

Søg alternativer:
intersection constraint » intersection constraints , interaction constraints , interactions constraints
programming programming » programming programmed , programming program
programming arrays » programming coarrays , programming arcgis , programming across
arrays a » arrays _

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

Udgivet 2006

Indholdsfortegnelse: “... Abstraction -- Combining Shape Analyses by Intersecting Abstractions -- A Complete Abstract Interpretation...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... Resolution of Singularities of a Space Curve -- Quantifier Elimination for Constraint Logic Programming...”
Få fuldtekst

Electronisk eBog

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”
Få fuldtekst

Electronisk eBog

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part III /

Udgivet 2010

Indholdsfortegnelse: “... Control on Traffic Light Networks -- Performance Measurement of a Dual-Channel Intersection Switch...”
Få fuldtekst

Electronisk eBog

LATIN 2008: Theoretical Informatics 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Programs with Two Integer Variables and Two Constraints -- A Polyhedral Investigation of the LCS Problem...”
Få fuldtekst

Electronisk eBog

Local Pattern Detection International Seminar Dagstuhl Castle, Germany, April 12-16, 2004, Revised Selected Papers /

Udgivet 2005

Indholdsfortegnelse: “...Pushing Constraints to Detect Local Patterns -- From Local to Global Patterns: Evaluation Issues...”
Få fuldtekst

Electronisk eBog

Computer Vision -- ACCV 2012 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part II /

Udgivet 2013

Indholdsfortegnelse: “... -- Digitization of Deformed Documents Using a High-Speed Multi-camera Array -- A Phase-Based Approach for Caption...”
Få fuldtekst

Electronisk eBog

Advanced Electrical and Electronics Engineering Volume 2 /

Udgivet 2011

Indholdsfortegnelse: “...-fragile H∞ Control with Pole Constraints for a Class of Nonlinear Sample-data System -- A Dual-band...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning