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...
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...
This paper presents a novel non-local iterative backprojection (NLIBP) algorithm for image enlargement. The iterative back-projection (IBP) technique iteratively reconstructs a hi...
—More and more processor manufacturers have launched embedded multicore processors for consumer electronics products because such processors provide high performance and low powe...
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...