Sciweavers

9414 search results - page 596 / 1883
» Adaptive Query Processing
Sort
View
TACAS
2007
Springer
165views Algorithms» more  TACAS 2007»
16 years 1 months ago
Multi-objective Model Checking of Markov Decision Processes
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regu...
Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Va...
DAWAK
2005
Springer
16 years 22 days ago
Processing Sequential Patterns in Relational Databases
Database integration of data mining has gained popularity and its significance is well recognized. However, the performance of SQL based data mining is known to fall behind specia...
Xuequn Shang, Kai-Uwe Sattler
ICIP
2009
IEEE
16 years 8 months ago
Nonlocal Back-projection For Adaptive Image Enlargement
This paper presents a novel non-local iterative backprojection (NLIBP) algorithm for image enlargement. The iterative back-projection (IBP) technique iteratively reconstructs a hi...
DATE
2009
IEEE
151views Hardware» more  DATE 2009»
16 years 1 months ago
pTest: An adaptive testing tool for concurrent software on embedded multicore processors
—More and more processor manufacturers have launched embedded multicore processors for consumer electronics products because such processors provide high performance and low powe...
Shou-Wei Chang, Kun-Yuan Hsieh, Jenq Kuen Lee
ICASSP
2009
IEEE
16 years 1 months ago
Spatio-temporal adaptive detector in non-homogeneous and low-rank clutter
Reducing the number of secondary data used to estimate the Clutter Covariance Matrix (CCM) for Space Time Adaptive Processing (STAP) techniques is still an active research topic. ...
Guillaume Ginolhac, Philippe Forster, Jean Philipp...