585 search results - page 97 / 117 » Better Abstractions for Timed Automata |
108
click to vote
VLSID
2004
IEEE
16 years 25 days ago
2004
IEEE
Abstract--In this paper, we present a new approach to calculate the steady state resistance values for CMOS library gates. These resistances are defined as simple equivalent models...
98
Voted
SODA
2010
ACM
15 years 9 months ago
2010
ACM
We consider the following model for fire containment. We are given an undirected graph G = (V, E) with a source vertex s where the fire starts. At each time step, the firefighters...
120
click to vote
UML
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Current trends in software development show a move towards supporting autonomous components (agents). The accurate timing of interactions between such components is growi...
102
Voted
ERCIM
2007
15 years 12 days ago
2007
t of view of the service itself. It is an abstracted version of the original service. An operating guideline of a service represents the possible communication behaviours of partne...
106
Voted
TASLP
2008
15 years 11 days ago
2008
Abstract--We describe in this paper an audio denoising technique based on sparse linear regression with structured priors. The noisy signal is decomposed as a linear combination of...