3724 search results - page 215 / 745 » Timed regular expressions |
151
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
We extend the framework of mixed multi-unit combinatorial auctions to include time constraints, present an expressive bidding language, and show how to solve the winner determinati...
147
click to vote
IFM
2007
Springer
15 years 11 months ago
2007
Springer
The Behavior Tree notation has been developed as a method for systematically and traceably capturing user requirements. In this paper we extend the notation with probabilistic beha...
136
Voted
SPIN
2004
Springer
15 years 10 months ago
2004
Springer
We propose a new framework for black-box conformance testing of real-time systems, where specifications are modeled as nondeterministic and partially-observable timed automata. We...
161
Voted
REX
1991
15 years 8 months ago
1991
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...
120
click to vote
EUSFLAT
2007
15 years 6 months ago
2007
This paper presents a fuzzy system approach to the prediction of nonlinear time series and dynamical systems based on a fuzzy model that includes its derivative information. The u...