7597 search results - page 321 / 1520 » On the design of metric relations |
171
click to vote
MOZ
2004
Springer
16 years 4 days ago
2004
Springer
Strasheela provides a means for the composer to create a symbolic score by formally describing it in a rule-based way. The environment defines a rich music representation for comp...
160
click to vote
HYBRID
2001
Springer
15 years 11 months ago
2001
Springer
An approach to estimation for a class of hybrid discrete-time linear systems using Luenberger observers is presented. The proposed Luenberger observer for such a kind of systems re...
145
Voted
RSP
1999
IEEE
15 years 11 months ago
1999
IEEE
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
178
click to vote
FM
1999
Springer
15 years 11 months ago
1999
Springer
ÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as s...
174
click to vote
ICC
1997
IEEE
15 years 11 months ago
1997
IEEE
: In this paper, a multiservice, local-area, wireless access ATM system is explored from a signaling protocol viewpoint. The signaling architecture considered here follows the sign...