1246 search results - page 140 / 250 » Recursive Timed Automata |
172
Voted
FORTE
2009
15 years 2 months ago
2009
Abstract. Service compositions leverage remote services to deliver addedvalue distributed applications. Since services are administered and run by independent parties, the governan...
178
Voted
AAAI
2012
13 years 7 months ago
2012
A tailored model of a system is the prerequisite for various analysis tasks, such as anomaly detection, fault identification, or quality assurance. This paper deals with the algo...
132
Voted
HYBRID
1994
Springer
15 years 9 months ago
1994
Springer
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
137
Voted
TLCA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Predicative analysis of recursion schema is a method to characterize complexity classes like the class of polynomial time functions. This analysis comes from the works of...
135
click to vote
VVS
1998
IEEE
15 years 9 months ago
1998
IEEE
Isosurfaces are an important tool for finding features in 3D scalar data. This paper describes how recursive contour meshing is applied to extract similar features in 4-dimensiona...