2314 search results - page 211 / 463 » Monoids over domains |
170
click to vote
FPL
2009
Springer
15 years 11 months ago
2009
Springer
Clock gating is a power reduction technique that has been used successfully in the custom ASIC domain. Clock and logic signal power are saved by temporarily disabling the clock si...
198
click to vote
ICCPOL
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. For casual web users, a natural language is more accessible than formal query languages. However, understanding of a natural language query is not trivial for computer sy...
173
click to vote
EPIA
2001
Springer
15 years 11 months ago
2001
Springer
This paper addresses constraint solving over continuous domains in the context of decision making, and discusses the trade-off between precision in the definition of the solution s...
180
click to vote
ERCIMDL
2001
Springer
15 years 11 months ago
2001
Springer
Ordering principles of digital libraries expressed in ontologies may be highly heterogeneous even within a domain and especially over different cultures. Automatic methods for mapp...
174
click to vote
EUROCAST
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper introduces a higher-order lazy narrowing calculus (HOLN for short) that solves higher-order equations over the domain of simply typed λ-terms. HOLN is an exte...