Sciweavers

5012 search results - page 270 / 1003
» Distributed Error Correction
Sort
View
DBPL
1999
Springer
102views Database» more  DBPL 1999»
15 years 10 months ago
Union Types for Semistructured Data
Semistructured databases are treated as dynamically typed: they come equipped with no independent schema or type system to constrain the data. Query languages that are designed fo...
Peter Buneman, Benjamin C. Pierce
SIGSOFT
2010
ACM
15 years 4 months ago
Scalable SMT-based verification of GPU kernel functions
Interest in Graphical Processing Units (GPUs) is skyrocketing due to their potential to yield spectacular performance on many important computing applications. Unfortunately, writ...
Guodong Li, Ganesh Gopalakrishnan
NAR
2011
225views Computer Vision» more  NAR 2011»
14 years 9 months ago
Gramene database in 2010: updates and extensions
Now in its 10th year, the Gramene database (http:// www.gramene.org) has grown from its primary focus on rice, the first fully-sequenced grass genome, to become a resource for maj...
Ken Youens-Clark, Edward S. Buckler, Terry M. Cass...
ICPR
2006
IEEE
16 years 7 months ago
Tracking 3D Human Body using Particle Filter in Moving Monocular Camera
In this paper, we propose a method for human tracking using 3D human body model in a video sequence with a monocular moving camera. Tracking a human with unconstrained movement in...
Sungmin Kim, Chang-Beom Park, Seong-Whan Lee
WWW
2001
ACM
16 years 7 months ago
ViBE: virtual biology experiments
The virtual laboratories enhance learning experiences by providing the student with a supplement to the physical lab. The laboratories allow students to perform exercises as in an...
Rajaram Subramanian, Ivan Marsic