15253 search results - page 2449 / 3051 » Integer-Programming Software Systems |
207
click to vote
LCPC
2005
Springer
16 years 22 days ago
2005
Springer
The goal of this work is a systematic approach to compiler optimization for simultaneously optimizing across multiple levels of the memory hierarchy. Our approach combines compiler...
219
click to vote
LPAR
2005
Springer
16 years 22 days ago
2005
Springer
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
189
click to vote
MKM
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. We present a computational origami construction of Morley’s triangles and automated proof of correctness of the generalized Morley’s theorem in a streamlined process ...
181
click to vote
NIME
2005
Springer
16 years 22 days ago
2005
Springer
This paper takes the reader through various elements of the GoingPublik sound artwork for distributive ensemble and introduces the Realtime Score Synthesis tool (RSS) used as a co...
240
click to vote
PADL
2005
Springer
16 years 22 days ago
2005
Springer
We describe the reconstruction of a phylogeny for a set of taxa, with a character-based cladistics approach, in a declarative knowledge representation formalism, and show how to us...