186 search results - page 19 / 38 » The x-Wait-Freedom Progress Condition |
112
click to vote
UIST
2000
ACM
15 years 2 months ago
2000
ACM
We describe a new sketching interface in which shape recognition and morphing are tightly coupled. Raw input strokes are continuously morphed into ideal geometric shapes, even bef...
ECAI
2000
Springer
15 years 2 months ago
2000
Springer
Domain-specific control information is often essential in solving difficult planning problems efficiently. Temporal logics are a declarative and expressive representation for su...
JECR
2002
14 years 9 months ago
2002
An in-depth understanding of human factors in web-based interaction requires a methodology which enables researchers to chart online actions, understand the cognitive processes gu...
NA
2007
14 years 9 months ago
2007
Abstract. We discuss periodization of smooth functions f of d variables for approximation of multivariate integrals. The benefit of periodization is that we may use lattice rules,...
IV
2010
IEEE
14 years 8 months ago
2010
IEEE
In this article we present an infrastructure for creating mash up visual representations of the user profile that combines data from different sources. We explored this approach ...