10910 search results - page 104 / 2182 » Input modeling using a computer algebra system |
AAMAS
2007
Springer
14 years 10 months ago
2007
Springer
Protocols enable unambiguous, smooth interactions among agents. Commitments among agents are a powerful means of developing protocols. Commitments enable flexible execution of pro...
FGR
2004
IEEE
15 years 1 months ago
2004
IEEE
This paper describes a finger gesture recognition system based on an active tracking mechanism. The simplicity of this tracking system is such that it would be possible to integra...
ISSAC
1994
Springer
15 years 1 months ago
1994
Springer
An example of a problem in the physical sciences is discussed where application of various symbolic computation facilities available in many algebraic computing systems leads to a...
MICCAI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper proposes a method for performing predictive simulation of cardiac surgery. It applies a hybrid approach to model the deformation of blood vessels. The hybrid b...
113
click to vote
CSFW
1995
IEEE
15 years 1 months ago
1995
IEEE
We discuss the issues involved in modelling and verifying key-exchange protocols within the framework of CSP and its model-checking tool FDR. Expressing such protocols within a pr...