2470 search results - page 2 / 494 » Liveness-Preserving Simulation Relations |
FORMATS
2006
Springer
13 years 9 months 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...
APSEC
2003
IEEE
13 years 9 months ago
2003
IEEE
This paper investigates data-refinement by backward simulation for specifications whose semantics is given by partial relations. The standard model-theoretic approach is based on ...
HYBRID
1998
Springer
13 years 9 months ago
1998
Springer
Abstract. This paper proposes an account of the acquisition of grammatical relations using the basic concepts of connectionism and a construction-based theory of grammar. Many prev...
AIME
2005
Springer
13 years 7 months ago
2005
Springer
In recent years, a few researchers have challenged past dogma and suggested methods (such as the IC algorithm) for inferring causal relationship among variables using steady state ...
HYBRID
2007
Springer
13 years 9 months ago
2007
Springer