9659 search results - page 1596 / 1932 » Points on Computable Curves |
168
Voted
WWW
2001
ACM
16 years 7 months ago
2001
ACM
We propose a design for displaying and manipulating HTML forms on small PDA screens. The form input widgets are not shown until the user is ready to fill them in. At that point, o...
290
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
Linguists seek to understand the semantics of expressions in human languages. Taking a computational point of view, there are many natural language expressions--operators in the w...
342
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
182
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
We describe a Markov chain Monte Carlo (MCMC)-based algorithm for sampling solutions to mixed Boolean/integer constraint problems. The focus of this work differs in two points from...
167
click to vote
PERCOM
2009
ACM
16 years 7 months ago
2009
ACM
This paper examines the recovery of user context in indoor environments with existing wireless infrastructures to enable assistive systems. We present a novel approach to the extra...