10910 search results - page 51 / 2182 » Input modeling using a computer algebra system |
SBBD
2004
14 years 11 months ago
2004
Multi-valued dependencies (MVDs) are an important class of constraints that is fundamental for relational database design. Although modern applications increasingly require the su...
EPEW
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. We present an application of partial evaluation to performance models expressed in the PEPA stochastic process algebra [1]. We partially evaluate the state-space of a PEP...
ACSC
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper introduces a novel approach towards direct interaction with large display systems. Monocular computer vision is utilised to avoid restraints imposed by input devices. T...
AMAST
2000
Springer
15 years 2 months ago
2000
Springer
In the paper we present an ACP-like process algebra which can be used to model both probabilistic and time behaviour of parallel systems. This process algebra is obtained by extens...
CHI
1995
ACM
15 years 1 months ago
1995
ACM
We present a system for animating an articulate figure using a physical skeleton, or armature, connected to a workstation. The skeleton is covered with sensors that monitor the o...