602 search results - page 93 / 121 » Efficient Model Checking of Applications with Input Output |
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
In this paper, a recursive nonlinear filter exploiting trigonometric expansions of the past output samples is introduced. Its peculiarity is, in general, the ability to model rea...
TIP
2008
13 years 7 months ago
2008
In many practical distributed source coding (DSC) applications, correlation information has to be estimated at the encoder in order to determine the encoding rate. Coding efficien...
APN
2008
Springer
13 years 9 months ago
2008
Springer
Shared decision diagram representations of a state-space have been shown to provide efficient solutions for model-checking of large systems. However, decision diagram manipulation ...
ICPP
2006
IEEE
14 years 1 months ago
2006
IEEE
These days an increasing number of applications, especially in science and engineering, are dealing with a massive amount of data; hence they are dataintensive. Bioinformatics, da...
SODA
2010
ACM
14 years 5 months ago
2010
ACM
Detecting and counting the number of copies of certain subgraphs (also known as network motifs or graphlets), is motivated by applications in a variety of areas ranging from Biolo...