2016 search results - page 17 / 404 » Megamaps: Construction and Examples |
CDC
2010
IEEE
13 years 3 months ago
2010
IEEE
The purpose of this contribution is twofold: 1) to present for the first time a Lyapunov function that proves exponential ergodicity of a process studied by the authors in [1], whe...
FOSSACS
2006
Springer
14 years 3 days ago
2006
Springer
In recent years, a tight connection has emerged between modal logic on the one hand and coalgebras, understood as generic transition systems, on the other hand. Here, we prove tha...
TIP
2008
13 years 8 months ago
2008
The theories of signal sampling, filter banks, wavelets and "overcomplete wavelets" are well-established for the Euclidean spaces and are widely used in the processing a...
CSMR
2007
IEEE
14 years 2 months ago
2007
IEEE
As software systems evolve, they become more complex and harder to understand and maintain. Certain reverse engineering techniques attempt to reconstruct software models from sour...
RTA
2005
Springer
14 years 1 months ago
2005
Springer
Proof-carrying code provides a mechanism for insuring that a host, or code consumer, can safely run code delivered by a code producer. The host specifies a safety policy as a set ...