7988 search results - page 1047 / 1598 » A Useful Undecidable Theory |
321
click to vote
ICFP
2009
ACM
16 years 8 months ago
2009
ACM
We define logical relations between the denotational semantics of a simply typed functional language with recursion and the operational behaviour of low-level programs in a varian...
230
Voted
CADE
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Polynomial constraint-solving plays a prominent role in several areas of engineering and software verification. In particular, polynomial constraint solving has a long an...
175
Voted
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Interaction with a remote team of robots in real time is a difficult human-robot interaction (HRI) problem exacerbated by the complications of unpredictable realworld environments...
160
Voted
CHI
2009
ACM
16 years 7 months ago
2009
ACM
With the recent developments in ePaper technology, consumer eBook readers have display qualities and form factors that are approaching that of traditional books. These eBook reade...
207
click to vote
KDD
2008
ACM
16 years 7 months ago
2008
ACM
Hidden Markov models (HMMs) have received considerable attention in various communities (e.g, speech recognition, neurology and bioinformatic) since many applications that use HMM...