1054 search results - page 70 / 211 » Guarded Expressions in Practice |
172
click to vote
JAPLL
2008
15 years 6 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...
186
click to vote
JDCTA
2008
15 years 6 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...
156
click to vote
TIP
2008
15 years 6 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...
149
click to vote
TWC
2008
15 years 6 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...
150
click to vote
ENTCS
2002
15 years 6 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...