392 search results - page 62 / 79 » An Algebraic Representation of Calendars |
CGI
2004
IEEE
14 years 1 months ago
2004
IEEE
An efficient low-cost, low-power hardware implementation of a novel run-time pixel coverage mask generation algorithm for embedded 3-D graphics antialiasing purposes is presented....
FPL
2006
Springer
14 years 1 months ago
2006
Springer
This paper presents a novel tool flow combining rewriting logic with hardware synthesis. It enables the automated generation of synthesizable VHDL code from mathematical equations...
FMCAD
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. Behavior tables are a design formalization intended to support interactive design derivation for hardware and embedded systems. It is a reformulation of the DDD transform...
FOIS
2006
13 years 11 months ago
2006
In this paper we present methods to generate a Description Logic (DL) theory from a given First Order Logic (FOL) theory, such that each DL axiom is entailed by the given FOL theor...
IIWAS
2004
13 years 11 months ago
2004
Abstract: To enable efficient access to multimedia content, the media data has to be augmented by semantic metadata and functionality. The semantic representation has to be integra...