1626 search results - page 182 / 326 » Subtyping with Power Types |
135
Voted
ASPDAC
2005
ACM
15 years 6 months ago
2005
ACM
- We present fast algorithms to synthesize exact minimal reversible circuits for various types of gates and costs. By reducing reversible logic synthesis problems to group theory p...
171
Voted
DAC
2008
ACM
15 years 6 months ago
2008
ACM
The performance advantages in parallel ring-based VCOs are explored. When the number of VCOs is doubled, the parallel VCOs enhance phase noise by 3dB, and the within-chip process-...
127
click to vote
AAAI
2010
15 years 6 months ago
2010
Existing controller-based approaches for centralized and decentralized POMDPs are based on automata with output known as Moore machines. In this paper, we show that several advant...
142
click to vote
BIS
2008
15 years 6 months ago
2008
In this paper we present Evaluate, a platform for learning performance monitoring. Evaluate manages a number of artefacts that can be used to monitor learning performance, like met...
146
click to vote
COLING
2008
15 years 6 months ago
2008
As Chinese text is written without word boundaries, effectively recognizing Chinese words is like recognizing collocations in English, substituting characters for words and words ...