1690 search results - page 264 / 338 » Algorithmic Properties of Millstream Systems |
147
click to vote
NIPS
2007
15 years 7 months ago
2007
The notion of algorithmic stability has been used effectively in the past to derive tight generalization bounds. A key advantage of these bounds is that they are designed for spec...
265
click to vote
VCIP
2003
15 years 7 months ago
2003
Texture is a fundamental feature which provides significant information for image classification, and is an important content used in content-based image retrieval (CBIR) system. ...
147
click to vote
RTSS
1994
IEEE
15 years 10 months ago
1994
IEEE
This paper presents a comprehensive design methodology for guaranteeing end-to-end requirements of real-time systems. Applications are structured as a set of process components co...
214
click to vote
CAV
1994
Springer
15 years 10 months ago
1994
Springer
We introduce event-recording automata. An event-recording automaton is a timed automaton that contains, for every event a, a clock that records the time of the last occurrence of a...
198
click to vote
FOSSACS
1999
Springer
15 years 10 months ago
1999
Springer
This paper presents a mu-calculus-based modal logic for describing properties of reactive probabilistic labeled transition systems (RPLTSs) and develops a modelchecking algorithm ...