Sciweavers

12084 search results - page 273 / 2417
» Effect Systems with Subtyping
Sort
View
CDC
2008
IEEE
151views Control Systems» more  CDC 2008»
16 years 1 months ago
Analysis of hybrid systems resulting from relay-type hysteresis and saturation: A Lyapunov approach
— This paper studies a class of hybrid systems with linear (or linear plus saturated linear) continuous and discrete dynamics, which are determined by a flow map and jump map, a...
Dan Dai, Ricardo G. Sanfelice, Tingshu Hu, Andrew ...
HICSS
2003
IEEE
155views Biometrics» more  HICSS 2003»
16 years 17 days ago
Developing Analytic, Cognitive and Linguistic Skills with an Electronic Negotiation System
An increasing number of Web-based systems, including brainstorming, decision-making, and negotiation support systems, are being developed to aid users in solving particular types ...
Margaret J. Kersten, Marlene Haley, Gregory E. Ker...
CHI
1997
ACM
15 years 11 months ago
The Cognitive Ergonomics of Knowledge-Based Design Support Systems
Critiquing systems are a type of active, knowledge-based design support system. They propose to positively influence designers’ cognitive processes by pointing out potential pro...
Tamara Sumner, Nathalie Bonnardel, Benedikte Harst...
AUTOMATICA
2006
90views more  AUTOMATICA 2006»
15 years 7 months ago
An ISS-modular approach for adaptive neural control of pure-feedback systems
Controlling non-affine non-linear systems is a challenging problem in control theory. In this paper, we consider adaptive neural control of a completely non-affine pure-feedback s...
Cong Wang, David J. Hill, S. S. Ge, Guanrong Chen
CISIS
2009
IEEE
15 years 5 months ago
Making Expert Knowledge Explicit to Facilitate Tool Support for Integrating Complex Information Systems in the ATM Domain
The capability to provide a platform for flexible business services in the Air Traffic Management (ATM) domain is both a major success factor for the ATM industry and a challenge ...
Thomas Moser, Richard Mordinyi, Alexander Mikula, ...