18 search results - page 3 / 4 » wises 2004 |
IJIT
2004
13 years 6 months ago
2004
In this paper, we consider nested sliding mode control of SISO nonlinear systems, perturbed by bounded matched and unmatched uncertainties. The systems are assumed to be in strictf...
CLIMA
2004
13 years 7 months ago
2004
Abstract. We present an encoding of a sequent calculus for a multiagent epistemic logic in Athena, an interactive theorem proving system for many-sorted first-order logic. We then ...
FOSSACS
2004
Springer
13 years 11 months ago
2004
Springer
People often need to reason about policy changes before they are adopted. For example, suppose a website manager knows that users want to enter her site without going through the w...
PDCAT
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. This paper proposes a novel View-Oriented Parallel Programming style for parallel programming on cluster computers. ViewOriented Parallel Programming is based on Distribu...
ANSS
2004
IEEE
13 years 9 months ago
2004
IEEE
The Random Early Detection (RED) scheme for congestion control in TCP is well known over a decade. Due to a number of control parameters in RED, it cannot make acceptable packet-d...