Sciweavers

2107 search results - page 199 / 422
» Computing Small Search Numbers in Linear Time
Sort
View
ECRTS
2006
IEEE
15 years 10 months ago
Optimal On-Line Scheduling of Multiple Control Tasks: A Case Study
We study the problem of dynamically scheduling a set of state-feedback control tasks controlling a set of linear plants. We consider an on-line non-preemptive scheduling policy th...
Anton Cervin, Peter Alriksson
ICDAR
2005
IEEE
15 years 9 months ago
Motion Deblurring for Optical Character Recognition
This paper investigates the problem of blurring caused by motion during image capture of text documents. Motion blurring prevents proper optical character recognition of the docum...
Xing Yu Qi, Li Zhang, Chew Lim Tan
FPL
1997
Springer
68views Hardware» more  FPL 1997»
15 years 8 months ago
Pipeline morphing and virtual pipelines
Abstract. Pipeline morphing is a simple but e ective technique for recon guring pipelined FPGA designs at run time. By overlapping computation and recon guration, the latency assoc...
Wayne Luk, Nabeel Shirazi, Shaori Guo, Peter Y. K....
DEDS
2010
88views more  DEDS 2010»
15 years 4 months ago
On the Performance Evaluation of Multi-Guarded Marked Graphs with Single-Server Semantics
In discrete event systems, a given task can start executing when all the required input data are available. The required input data for a given task may change along the evolution...
Jorge Júlvez, Jordi Cortadella, Michael Kis...
209
Voted
SIGMOD
2009
ACM
218views Database» more  SIGMOD 2009»
16 years 4 months ago
Exploring biomedical databases with BioNav
We demonstrate the BioNav system, a novel search interface for biomedical databases, such as PubMed. BioNav enables users to navigate large number of query results by categorizing...
Abhijith Kashyap, Vagelis Hristidis, Michalis Petr...