8699 search results - page 1542 / 1740 » Elements of the Theory of Computation |
113
click to vote
LOPSTR
2005
Springer
15 years 5 months ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...
105
click to vote
SEMWEB
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Domain ontologies very rarely model verbs as relations holding between concepts. However, the role of the verb as a central connecting element between concepts is undenia...
94
Voted
ISLPED
2004
ACM
15 years 5 months ago
2004
ACM
The quadratic relationship between voltage and energy has made dynamic voltage scaling (DVS) one of the most powerful techniques to reduce system power demands. Recently, techniqu...
CAISE
2004
Springer
15 years 5 months ago
2004
Springer
This paper describes the evolution and the results of the research work carried out by the IRIS group in the field of enterprise integration. This research work began with the ARD...
113
click to vote
FPGA
2004
ACM
15 years 5 months ago
2004
ACM
The cost functions used to evaluate logic synthesis transformations for FPGAs are far removed from the final speed and routability determined after placement, routing and timing a...