Sciweavers

522 search results - page 35 / 105
» Increasing Informativeness in Temporal Annotation
Sort
View
BMCBI
2008
182views more  BMCBI 2008»
13 years 9 months ago
MiMiR - an integrated platform for microarray data sharing, mining and analysis
Background: Despite considerable efforts within the microarray community for standardising data format, content and description, microarray technologies present major challenges i...
Chris Tomlinson, Manjula Thimma, Stelios Alexandra...
BMCBI
2005
157views more  BMCBI 2005»
13 years 9 months ago
Statistical Viewer: a tool to upload and integrate linkage and association data as plots displayed within the Ensembl genome bro
Background: To facilitate efficient selection and the prioritization of candidate complex disease susceptibility genes for association analysis, increasingly comprehensive annotat...
Judith E. Stenger, Hong Xu, Carol Haynes, Elizabet...
FASE
2005
Springer
14 years 2 months ago
Checking Memory Safety with Blast
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...
Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rup...
JSS
2000
123views more  JSS 2000»
13 years 9 months ago
Approaches for broadcasting temporal data in mobile computing systems
Rapid advances in mobile communication technology have spawned many new mobile applications. A key element in many of these systems is the need to distribute real-time information...
Kam-yiu Lam, Edward Chan, Joe Chun-Hung Yuen
ICIP
2006
IEEE
14 years 11 months ago
Macroblock-Level Mode Based Adaptive in-Band Motion Compensated Temporal Filtering
This paper presents an adaptive in-band motion compensated temporal filtering (MCTF) scheme for 3-D wavelet based scalable video coding. The proposed scheme solves the motion mism...
Anyu Gao, Cedric Nishan Canagarajah, David R. Bull