10910 search results - page 192 / 2182 » Input modeling using a computer algebra system |
136
Voted
LICS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abramsky’s logical formulation of domain theory is extended to encompass the domain theoretic model for picalculus processes of Stark and of Fiore, Moggi and Sangiorgi. This is ...
143
click to vote
SAC
2011
ACM
14 years 6 months ago
2011
ACM
Spatial networks like transportation, power, and pipeline networks are a ubiquitous spatial concept in everyday life and play an important role for navigational and routing purpos...
151
Voted
ICCS
2001
Springer
15 years 8 months ago
2001
Springer
Achieving peak performance from library subroutines usually requires extensive, machine-dependent tuning by hand. Automatic tuning systems have emerged in response, and they typic...
133
click to vote
CVPR
1999
IEEE
16 years 6 months ago
1999
IEEE
This paper describes a system that uses a camera and a point light source to track a user's hand in three dimensions. Using depth cues obtained from projections of the hand a...
133
click to vote
CVPR
2007
IEEE
16 years 6 months ago
2007
IEEE
We propose a cord distance in the space of dynamical models that takes into account their dynamics, including transients, output maps and input distributions. In data analysis app...