Sciweavers

1925 search results - page 185 / 385
» Theory research at Google
Sort
View
HYBRID
2007
Springer
16 years 20 days ago
Case Studies in Event-Driven Control
Abstract. The majority of research in control engineering considers periodic or time-triggered control systems with equidistant sample intervals. However, practical cases abound in...
J. H. Sandee, W. P. M. H. Heemels, P. P. J. van de...
ICCS
2007
Springer
16 years 20 days ago
Validating Evolving Simulations in COERCE
We seek to increase user confidence in simulations as they are adapted to meet new requirements. Our approach includes formal representation of uncertainty, lightweight validation,...
Paul F. Reynolds Jr., Michael Spiegel, Xinyu Liu, ...
ICCS
2007
Springer
16 years 20 days ago
Trikonic Inter-Enterprise Architectonic
There is a need for information, application, and other enterprise architectures which are robust and flexible enough to meet the challenges of today’s heterogeneous, rapidly cha...
Gary Richmond
ICIC
2007
Springer
16 years 19 days ago
Uncertainty Measures of Roughness of Knowledge and Rough Sets in Ordered Information Systems
Rough set theory has been considered as a useful tool to deal with inexact, uncertain, or vague knowledge. However, in real-world, most of information systems are based on dominanc...
Wei-Hua Xu, Hong-zhi Yang, Wen-Xiu Zhang
WOLLIC
2007
Springer
16 years 18 days ago
A Formal Calculus for Informal Equality with Binding
Abstract. In informal mathematical usage we often reason using languages with binding. We usually find ourselves placing capture-avoidance constraints on where variables can and c...
Murdoch Gabbay, Aad Mathijssen