Sciweavers

4524 search results - page 278 / 905
» The Complexity of Global Constraints
Sort
View
AVSS
2006
IEEE
16 years 25 days ago
The Role of Motion Models in Super-Resolving Surveillance Video for Face Recognition
Although the use of super-resolution techniques has demonstrated the ability to improve face recognition accuracy when compared to traditional upsampling techniques, they are dif...
Frank Lin, Clinton Fookes, Vinod Chandran, Sridha ...
TACAS
2010
Springer
160views Algorithms» more  TACAS 2010»
16 years 1 months ago
Optimal Tableau Algorithms for Coalgebraic Logics
Deciding whether a modal formula is satisfiable with respect to a given set of (global) assumptions is a question of fundamental importance in applications of logic in computer sc...
Rajeev Goré, Clemens Kupke, Dirk Pattinson
ICIAR
2009
Springer
16 years 1 months ago
Interactive Image Segmentation Based on Hierarchical Graph-Cut Optimization with Generic Shape Prior
Abstract. A new algorithm for interactive image segmentation is proposed. Besides the traditional appearance and gradient information, a new Generic Shape Prior (GSP) knowledge whi...
Chen Liu, Fengxia Li, Yan Zhang, Haiyang Gu
VTC
2006
IEEE
117views Communications» more  VTC 2006»
16 years 23 days ago
Simulation of Throughput in UMTS Networks with Different Spreading Factors
— We design and implement a local session1 admission control (SAC) algorithm for third-generation wireless networks which allows for the simulation of network throughput for diff...
Robert Akl, Anurag Arepally
ICALP
2010
Springer
15 years 11 months ago
Pumping and Counting on the Regular Post Embedding Problem
Abstract. The Regular Post Embedding Problem is a variant of Post’s Correspondence Problem where one compares strings with the subword relation and imposes additional regular con...
Pierre Chambart, Philippe Schnoebelen