692 search results - page 58 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
AAAI
1997
1997
Combining Approximate Front End Signal Processing with Selective Reprocessing in Auditory Perception
15 years 1 months ago
When dealing with signals from complex environments, where multiple time-dependent signal signatures can interfere with each other in stochastically unpredictable ways, traditiona...
108
click to vote
RECOMB
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The Pathalyzer is a program for analyzing large-scale signal transduction networks. Reactions and their substrates and products are represented as transitions and places ...
104
click to vote
ESEC
1997
Springer
15 years 3 months ago
1997
Springer
Abstract. In this paper we demonstrate how static concurrency analysis techniques can be used to verify application-specific properties of an architecture description. Specifically...
101
click to vote
APN
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. In this work, we address the problem of transient and steadystate analysis of a stochastic Petri net which includes non Markovian distributions with a finite support but ...
IFIP
1994
Springer
15 years 4 months ago
1994
Springer
There have been innumerable glowing reports of the way hypermedia systems allow users to explore and use vast amounts of information in ways not possible using traditional informa...