Sciweavers

8917 search results - page 1378 / 1784
» Abstraction in Algorithm Animation
Sort
View
TCSV
2008
148views more  TCSV 2008»
15 years 6 months ago
Modeling Background and Segmenting Moving Objects from Compressed Video
Abstract--Modeling background and segmenting moving objects are significant techniques for video surveillance and other video processing applications. Most existing methods of mode...
Weiqiang Wang, Jie Yang, Wen Gao
BMCBI
2005
106views more  BMCBI 2005»
15 years 5 months ago
Thesaurus-based disambiguation of gene symbols
Background: Massive text mining of the biological literature holds great promise of relating disparate information and discovering new knowledge. However, disambiguation of gene s...
Bob J. A. Schijvenaars, Barend Mons, Marc Weeber, ...
JSA
2007
142views more  JSA 2007»
15 years 5 months ago
Efficient FPGA hardware development: A multi-language approach
This paper presents a multi-language framework to FPGA hardware development which aims to satisfy the dual requirement of high level hardware design and efficient hardware impleme...
Khaled Benkrid, Abdsamad Benkrid, S. Belkacemi
CORR
2004
Springer
176views Education» more  CORR 2004»
15 years 5 months ago
The First-Order Theory of Sets with Cardinality Constraints is Decidable
Data structures often use an integer variable to keep track of the number of elements they store. An invariant of such data structure is that the value of the integer variable is ...
Viktor Kuncak, Martin C. Rinard
DKE
2002
113views more  DKE 2002»
15 years 5 months ago
A general strategy for decomposing topological invariants of spatial databases and an application
Topological invariants of spatial databases (i.e., finite structures that capture the topological properties of the database) are receiving increasing attention since they can act...
Serafino Cicerone, Daniele Frigioni, Paolino Di Fe...
« Prev « First page 1378 / 1784 Last » Next »