15416 search results - page 2846 / 3084 » Embeddings of Computable Structures |
175
click to vote
ASM
2004
ASM
16 years 1 days ago
2004
ASM
For a while it seemed possible to pretend that all interaction between an algorithm and its environment occurs inter-step, but not anymore. Andreas Blass, Benjamin Rossman and the ...
184
click to vote
ICCSA
2004
Springer
16 years 17 hour ago
2004
Springer
We present a novel simulation tool to study fluid mixtures that are simultaneously chemically reacting and adsorbing within a molecularly porous material. The method is a combinat...
162
click to vote
ICS
2004
Tsinghua U.
16 years 15 hour ago
2004
Tsinghua U.
In contemporary out-of-order superscalar design, high IPC is mainly achieved by exposing high instruction level parallelism (ILP). Scaling issue window size can certainly provide ...
178
click to vote
ISMIR
2004
Springer
16 years 8 hour ago
2004
Springer
Measuring the similarity between rhythms is a fundamental problem in computational music theory, with many applications such as music information retrieval and copyright infringem...
179
click to vote
ECCV
2010
Springer
15 years 12 months ago
2010
Springer
The study of 2D shapes is a central problem in the field of computer vision. In 2D shape analysis, classification and recognition of objects from their observed silhouette are e...