3690 search results - page 62 / 738 » Computation with classical sequents |
ASAP
1997
IEEE
15 years 2 months ago
1997
IEEE
This paper introduces a powerful novel sequencer for controlling computational machines and for structured DMA (direct memory access) applications. It is mainly focused on applica...
DATE
2004
IEEE
15 years 1 months ago
2004
IEEE
Reconfigurable computing has become an important part of research in software systems and computer architecture. While prior research on reconfigurable computing have addressed ar...
CGF
2008
14 years 10 months ago
2008
We present a generalization of thin-plate splines for interpolation and approximation of manifold-valued data, and demonstrate its usefulness in computer graphics with several app...
RECOMB
2008
Springer
15 years 10 months ago
2008
Springer
In the past years, many combinatorial arguments have been made to support the theory that mammalian genome rearrangement scenarios rely heavily on breakpoint reuse. Different model...
MFCS
2005
Springer
15 years 3 months ago
2005
Springer
We consider the problem of job scheduling on a variable voltage processor with d discrete voltage/speed levels. We give an algorithm which constructs a minimum energy schedule for ...