1
Udgivet 2006
Indholdsfortegnelse: ... Abstraction -- Combining Shape Analyses by Intersecting Abstractions -- A Complete Abstract Interpretation...
Få fuldtekst
Electronisk eBog
2
Udgivet 2005
Indholdsfortegnelse: ... Resolution of Singularities of a Space Curve -- Quantifier Elimination for Constraint Logic Programming...
Få fuldtekst
Electronisk eBog
3
Udgivet 2010
Indholdsfortegnelse: ... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...
Få fuldtekst
Electronisk eBog
4
Udgivet 2010
Indholdsfortegnelse: ... Control on Traffic Light Networks -- Performance Measurement of a Dual-Channel Intersection Switch...
Få fuldtekst
Electronisk eBog
5
Udgivet 2008
Indholdsfortegnelse: ... Programs with Two Integer Variables and Two Constraints -- A Polyhedral Investigation of the LCS Problem...
Få fuldtekst
Electronisk eBog
6
Udgivet 2005
Indholdsfortegnelse: ...Pushing Constraints to Detect Local Patterns -- From Local to Global Patterns: Evaluation Issues...
Få fuldtekst
Electronisk eBog
7
Udgivet 2013
Indholdsfortegnelse: ... -- Digitization of Deformed Documents Using a High-Speed Multi-camera Array -- A Phase-Based Approach for Caption...
Få fuldtekst
Electronisk eBog
8
Udgivet 2011
Indholdsfortegnelse: ...-fragile H∞ Control with Pole Constraints for a Class of Nonlinear Sample-data System -- A Dual-band...
Få fuldtekst
Electronisk eBog