1690 search results - page 264 / 338 » Algorithmic Properties of Millstream Systems |
94
Voted
NIPS
2007
15 years 2 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...
174
Voted
VCIP
2003
15 years 2 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. ...
RTSS
1994
IEEE
15 years 5 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...
153
click to vote
CAV
1994
Springer
15 years 4 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...
129
click to vote
FOSSACS
1999
Springer
15 years 5 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 ...