3001 search results - page 562 / 601 » Recursive type generativity |
118
click to vote
CGO
2007
IEEE
15 years 6 months ago
2007
IEEE
Dynamic predication has been proposed to reduce the branch misprediction penalty due to hard-to-predict branch instructions. A recently proposed dynamic predication architecture, ...
132
click to vote
CIKM
2007
Springer
15 years 6 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...
100
click to vote
ACMIDC
2010
15 years 5 months ago
2010
Inspired by Froebel’s Gifts for kindergarten, we propose a new category of gifts for modern preschools. Modern Nature Gifts are meta-manipulatives, inviting deeper exploration o...
126
click to vote
DEXA
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Sensor database is a type of database management system which offers sensor data and stored data in its data model and query languages. In this system, when a user poses ...
157
click to vote
ERSHOV
2009
Springer
15 years 5 months ago
2009
Springer
A term t is called a template of terms t1 and t2 iff t1 = t1 and t2 = t2, for some substitutions 1 and 2. A template t of t1 and t2 is called the most specific iff for any template...