Sciweavers

7405 search results - page 826 / 1481
» Computer Graphics
Sort
View
CVPR
2012
IEEE
13 years 9 months ago
A grammar for hierarchical object descriptions in logic programs
Modeling objects using formal grammars has recently regained much attention in computer vision. Probabilistic logic programming, such as Bilattice based Logical Reasoning (BLR), i...
Toufiq Parag, Claus Bahlmann, Vinay D. Shet, Manee...
CMSB
2007
Springer
15 years 10 months ago
Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus
This paper presents a simulation algorithm for the stochastic -calculus, designed for the efficient simulation of biological systems with large numbers of molecules. The cost of a ...
Andrew Phillips, Luca Cardelli
CHI
2011
ACM
14 years 10 months ago
TorusDesktop: pointing via the backdoor is sometimes shorter
When pointing to a target on a computer desktop, we may think we are taking the shortest possible path. But new shortcuts become possible if we allow the mouse cursor to jump from...
Stéphane Huot, Olivier Chapuis, Pierre Drag...
CHI
2011
ACM
14 years 10 months ago
TouchCuts and TouchZoom: enhanced target selection for touch displays using finger proximity sensing
Although touch-screen laptops are increasing in popularity, users still do not comfortably rely on touch in these environments, as current software interfaces were not designed fo...
Xing-Dong Yang, Tovi Grossman, Pourang Irani, Geor...
CHI
2007
ACM
16 years 6 months ago
Momento: support for situated ubicomp experimentation
We present the iterative design of Momento, a tool that provides integrated support for situated evaluation of ubiquitous computing applications. We derived requirements for Momen...
Scott Carter, Jennifer Mankoff, Jeffrey Heer