Search Results - interfaces integer programming program constructs https

Search alternatives:
programming program » programming programmed , programming problem , programming problems
integer programming » internet programming , linear programming
interfaces integer » interfaces internet , interfaces inner , intervals integer
program constructs » program construction , program constructing , programming constructs
constructs https » construction https , constructs loops , constructs arti

Algorithms in Bioinformatics 6th International Workshop, WABI 2006, Zurich, Switzerland, September 11-13, 2006, Proceedings /

Published 2006

Table of Contents: “... Search and Susceptibility Prediction -- Integer Linear Programs for Discovering Approximate Gene Clusters...”
View full text

Electronic eBook

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

Published 2007

Table of Contents: “...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”
View full text

Electronic eBook

Metaheuristic Optimization via Memory and Evolution Tabu Search and Scatter Search /

Published 2005

Table of Contents: “... Applying and Experimenting with Scatter Search -- Tabu Search for Mixed Integer Programming -- Scatter...”
View full text

Electronic eBook

SOFSEM 2007: Theory and Practice of Computer Science 33nd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, P...

Published 2007

Table of Contents: “... Computer and Its Communication Protocol -- A Branch-and-Bound Algorithm to Solve Large Scale Integer...”
View full text

Electronic eBook

Advances in Computer Systems Architecture 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006, Proceedings /

Published 2006

Table of Contents: “... for Real-Time Control -- A 0-1 Integer Linear Programming Based Approach for Global Locality Optimizations...”
View full text

Electronic eBook

Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings /

Published 2007

Table of Contents: “... Constructive Homological Algebra in Type Theory -- What Might “Understand a Function” Mean? -- Biform Theories...”
View full text

Electronic eBook

Advances in Multimedia Information Processing - PCM 2006 7th Pacific Rim Conference on Multimedia, Hangzhou, China, November 2-4, 2006, Proceedings /

Published 2006

Table of Contents: “... Model -- 16×16 Integer Cosine Transform for HD Video Coding -- Heegard-Berger Video Coding Using LMMSE...”
View full text

Electronic eBook

Narrow Search