1054 search results - page 70 / 211 » Guarded Expressions in Practice |
JAPLL
2008
14 years 12 months ago
2008
Simple type theory, also known as higher-order logic, is a natural extension of first-order logic which is simple, elegant, highly expressive, and practical. This paper surveys th...
109
click to vote
JDCTA
2008
14 years 12 months ago
2008
Multimodal interfaces are the emerging technology that offers expressive, transparent, efficient, robust, and mobile human-computer interaction. In this paper, we described the sp...
TIP
2008
14 years 11 months ago
2008
This paper proposes a non-Gaussian Markov field with a special feature: an explicit partition function. To the best of our knowledge, this is an original contribution. Moreover, th...
TWC
2008
14 years 11 months ago
2008
Scheduling in a broadcast channel based on partial channel-state-information at the transmitter is carried out in an opportunistic way. In this paper, the number of generated beams...
ENTCS
2002
14 years 11 months ago
2002
We present pmlB, a programming language that includes primitive sets and associated operations. The language is equipped with a precise type discipline that statically captures dy...