10910 search results - page 58 / 2182 » Input modeling using a computer algebra system |
HCI
2011
14 years 1 months ago
2011
Validation is critically important when human performance models are used to predict the effect of future system designs on human performance. A model of flight deck operations was...
107
click to vote
FROCOS
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. We discuss a pragmatic approach to integrate computer algebra into proof planning. It is based on the idea to separate computation and veri cation and can thereby exploit...
SACMAT
2004
ACM
15 years 3 months ago
2004
ACM
We describe a layered approach to access control for distributed and interoperable computing systems. Firstly, compound access control policies are conceptually specified, using ...
PTS
2007
14 years 11 months ago
2007
Abstract. We propose an extension of the Finite State Machine framework in distributed systems, using input/output partial order automata (IOPOA). In this model, transitions can be...
EUSFLAT
2003
14 years 11 months ago
2003
A descriptive Takagi-Sugeno fuzzy rule based system suffers under the curse of dimensionality since the number of rules is equal to a fuzzy system with a fully filled up decision...