1
Publicerad 2013
Innehållsförteckning: ... of Procedure Summaries for Integer Programs -- Runtime Verification Based on Register Automata -- Unbounded...
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2006
Innehållsförteckning: ... Model -- 16×16 Integer Cosine Transform for HD Video Coding -- Heegard-Berger Video Coding Using LMMSE...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2005
Innehållsförteckning: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
Hämta fulltext
Elektronisk E-bok
4
Publicerad 2008
Innehållsförteckning: ... and Polymorphism in Pure Type Systems -- The Implicit Calculus of Constructions as a Programming Language...
Hämta fulltext
Elektronisk E-bok
5
Publicerad 2006
Innehållsförteckning: ... Dodgson-Election Winners -- Reductions for Monotone Boolean Circuits -- Generalised Integer Programming...
Hämta fulltext
Elektronisk E-bok
6
Publicerad 2010
Innehållsförteckning: ...Keynote and Invited Talks -- Interval-Based Models for Decision Problems -- On Choquet Integral...
Hämta fulltext
Elektronisk E-bok