1115 search results - page 58 / 223 » An Abstract Look at Realizability |
DAGM
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. The Gaussian scale-space is a standard tool in image analysis. While continuous in theory, it is generally realized with fixed regular grids in practice. This prevents th...
ASPDAC
2001
ACM
13 years 11 months ago
2001
ACM
Abstract-- We are proposing "PPRAM-Link": a new highspeed communication standard for merged-DRAM/logic SoC architecture. PPRAM-Link standard is composed of physical/logic...
BIRTHDAY
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Church's Problem, stated fifty years ago, asks for a finitestate machine that realizes the transformation of an infinite sequence into an infinite sequence such tha...
EON
2008
13 years 9 months ago
2008
Abstract. This paper describes how semantic bridges realized in terms of rulebased ontology mappings can be incorporated into BPEL processes. The approach is explained by applying ...
ERSA
2006
13 years 9 months ago
2006
Abstract-- We have continued development of Optically Reconfigurable Gate Arrays (ORGAs) to realize larger virtual gate count VLSIs than currently available VLSIs. The grain and st...