423 search results - page 21 / 85 » The Generalization of Generalized Automata: Expression Autom... |
ADL
1997
Springer
14 years 27 days ago
1997
Springer
Successful applications of digital libraries require structured access to sources of information. This paper presents an approach to extract the logical structure of text document...
TAPSOFT
1997
Springer
14 years 26 days ago
1997
Springer
Abstract. This paper presents a formalization of nite and in nite sequences in domain theory carried out in the theorem prover Isabelle. The results are used to model the metatheor...
AMAST
1997
Springer
14 years 27 days ago
1997
Springer
Abstract. A general parametric analysis problem which allows the use of parameter variables in both the realtime automata and the specifications is proposed and solved. The analys...
FORMATS
2006
Springer
14 years 12 days ago
2006
Springer
Timed and weak timed simulation relations are often used to show that operations on hybrid systems result in equivalent behavior or in conservative overapproximations. Given that s...
JGS
2000
13 years 8 months ago
2000
GIS and spatial analysis is suited mainly for static pictures of the landscape, but many of the processes that need exploring are dynamic in nature. Dynamic processes can be comple...