3600 search results - page 43 / 720 » The settling-time reducibility ordering |
ECAI
2004
Springer
14 years 1 months ago
2004
Springer
This paper constructs a logic of soft constraints where the set of degrees of preference forms a partially ordered set. When the partially ordered set is a distributive lattice, th...
CONCUR
1999
Springer
13 years 12 months ago
1999
Springer
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
WSCG
2003
13 years 9 months ago
2003
In this paper we present an extension to the classical particle system. We unify particles, particle sources, and force generators into a second order particle system. In the seco...
INTEGRATION
2008
13 years 7 months ago
2008
The paper proposes an efficient terminal and model order reduction method for compact modeling of interconnect circuits with many terminals. The new method is inspired by the rece...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
— We present an optimization method for unequal error protection (UEP)-LDPC codes with higher order constellations. By modifying the density evolution algorithm under the Gaussia...