5675 search results - page 162 / 1135 » Exploiting Chaos for Computation |
146
Voted
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
150
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. We present a new technique called Monotonic Partial Order Reduction (MPOR) that effectively combines dynamic partial order reduction with symbolic state space exploration...
130
click to vote
ICASSP
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper presents a blind subspace-based tracking scheme for precoded MIMO-OFDM systems over rapidly time-varying wireless channels. Subspace-based tracking is normally consider...
131
click to vote
ICASSP
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper describes a method for designing oversampled DFT filter banks (FB) optimized for subband acoustic echo cancellation (AEC). For this application, the design requirements...
164
click to vote
ACML
2009
Springer
15 years 11 months ago
2009
Springer
Enterprises have accumulated both structured and unstructured data steadily as computing resources improve. However, previous research on enterprise data mining often treats these ...