1416 search results - page 96 / 284 » An Exact Interpretation of While |
CHI
2001
ACM
15 years 10 months ago
2001
ACM
Historically one of the visions for human-computer symbiosis has been to augment human intelligence and extend people's cognitive abilities. In this paper, we present two vis...
112
click to vote
TACAS
2010
Springer
15 years 5 months ago
2010
Springer
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...
WSOM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We apply a recent formalization of visualization as information retrieval to linear projections. We introduce a method that optimizes a linear projection for an informati...
ECTEL
2009
Springer
15 years 4 months ago
2009
Springer
While reading documents, people commonly make annotations: they underline or highlight text and write comments in the margin. Making annotations during reading activities has been ...
ICRA
2008
IEEE
15 years 4 months ago
2008
IEEE
— This paper proposes and experimentally validates a Bayesian network model of a range finder adapted to dynamic environments. The modeling rigorously explains all model assumpt...