3724 search results - page 353 / 745 » Timed regular expressions |
210
click to vote
TSP
2008
15 years 6 months ago
2008
This paper presents a systematic high-speed VLSI implementation of the discrete wavelet transform (DWT) based on hardware-efficient parallel FIR filter structures. High-speed 2-D D...
167
click to vote
TMI
2010
15 years 5 months ago
2010
—Synthetic magnetic resonance (MR) imaging is an approach suggested in the literature to predict MR images at different design parameter settings from at least three observed MR ...
179
click to vote
JCDL
2010
ACM
15 years 4 months ago
2010
ACM
Personalization of information retrieval tailors search towards individual users to meet their particular information needs by taking into account information about users and thei...
200
click to vote
ISSS
1998
IEEE
15 years 11 months ago
1998
IEEE
False path analysis is an activity with applications in a variety of computer science and engineering domains like for instance high-level synthesis, worst case execution time est...
169
click to vote
ATVA
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, we describe a first-order linear time temporal logic (LTL) model checker based on multiway decision graphs (MDG). We developed a first-order temporal language, LMDG ...