1202 search results - page 81 / 241 » Sortings for Reactive Systems |
151
click to vote
DAS
2008
Springer
15 years 5 months ago
2008
Springer
Image based mail piece identification is a new technology for optimizing the postal sorting process. Exploiting the mail piece surface uniqueness, characteristic features are used...
124
click to vote
CADE
1994
Springer
15 years 8 months ago
1994
Springer
Even though it is not very often admitted, partial functions do play a significant role in many practical applications of deduction systems. Kleene has already given a semantic acc...
161
click to vote
ICTAI
2010
IEEE
15 years 1 months ago
2010
IEEE
Planning techniques recorded a significant progress during recent years. However, many planning problems remain still hard even for modern planners. One of the most promising appro...
164
click to vote
FOSSACS
1999
Springer
15 years 8 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 ...
121
click to vote
FSEN
2007
Springer
15 years 10 months ago
2007
Springer
Web services are emerging as a promising technology for the development of next generation distributed heterogeneous software systems. We define a new behavioural equivalence for ...