1999 search results - page 375 / 400 » Dependently Typed Grammars |
101
click to vote
ASPDAC
2007
ACM
15 years 6 months ago
2007
ACM
An accurate model is presented to calculate the short circuit energy dissipation of logic cells. The short circuit current is highly dependent on the input and output voltage valu...
132
click to vote
CIKM
2007
Springer
15 years 5 months ago
2007
Springer
Hidden markov model (HMM) is frequently used for Pinyin-toChinese conversion. But it only captures the dependency with the preceding character. Higher order markov models can brin...
128
click to vote
DOLAP
2007
ACM
15 years 5 months ago
2007
ACM
ss domain. Using this more abstract approach means that more data sources of varying types can be incorporated with less effort, and such heterogeneous data sources might be very r...
129
click to vote
ICAIL
2007
ACM
15 years 5 months ago
2007
ACM
As massive document repositories and knowledge management systems continue to expand, in proprietary environments as well as on the Web, the need for duplicate detection becomes i...
121
click to vote
ESWS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The current state of the art regarding scalable reasoning consists of programs that run on a single machine. When the amount of data is too large, or the logic is too com...