368 search results - page 9 / 74 » System BV is NP-complete |
IVC
2000
14 years 9 months ago
2000
In this paper, we propose a model-based method to analyze the human walking motion. This system consists of three phases: the preprocessing phase, the model construction phase, an...
FSS
2002
14 years 9 months ago
2002
Recently, various adaptive fuzzy control schemes have been proposed to deal with nonlinear systems whose dynamics are poorly understood by using the parameterized fuzzy approximat...
COMCOM
1998
14 years 9 months ago
1998
In this paper, we propose a new formalism, named the Timed Communicating Finite State Machine (Timed CFSM), for specifying and verifying time-critical systems. Timed CFSM preserve...
ICCS
2004
Springer
15 years 3 months ago
2004
Springer
Multiparadigm approach integrates programming language paradigms. We propose Holoparadigm (Holo) as a multiparadigm model oriented to development of grid systems. Holo uses a logi...
HIS
2003
14 years 11 months ago
2003
This paper suggests a decision support system for tactical air combat environment where not much prior information is available about the decision regions. We proposed a combinati...