10910 search results - page 62 / 2182 » Input modeling using a computer algebra system |
CONCUR
2003
Springer
15 years 3 months ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
IAJIT
2010
14 years 8 months ago
2010
: The specification of the dynamic behaviour of reactive distributed systems must exhibit the structures of control and has to imply explicitly the relevant aspects of the distribu...
PAMI
2002
14 years 9 months ago
2002
We describe a robust and efficient system for recognizing typeset and handwritten mathematical notation. From a list of symbols with bounding boxes the system analyzes an expressio...
EICS
2009
ACM
15 years 4 months ago
2009
ACM
This paper evaluates the input performance capabilities of Velocity Threshold (I-VT) and Kalman Filter (I-KF) eye movement detection models when employed for eye-gaze-guided inter...
ENTCS
2006
14 years 9 months ago
2006
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...