Sciweavers

660 search results - page 90 / 132
» Improving AOR method for consistent linear systems
Sort
View
SAS
2009
Springer
281views Formal Methods» more  SAS 2009»
16 years 11 days ago
A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination
The Java programming language requires that out-of-bounds array accesses produce runtime exceptions. In general, this requires a dynamic bounds check each time an array element is...
David Niedzielski, Jeffery von Ronne, Andreas Gamp...
BMCBI
2005
122views more  BMCBI 2005»
14 years 11 months ago
Finding genomic ontology terms in text using evidence content
Background: The development of text mining systems that annotate biological entities with their properties using scientific literature is an important recent research topic. These...
Francisco M. Couto, Mário J. Silva, Pedro C...
VISUALIZATION
2005
IEEE
15 years 5 months ago
Opening the Can of Worms: An Exploration Tool for Vortical Flows
Gaining a comprehensive understanding of turbulent flows still poses one of the great challenges in fluid dynamics. A wellestablished approach to advance this research is the an...
Simon Stegmaier, Ulrich Rist, Thomas Ertl
BMCBI
2006
127views more  BMCBI 2006»
14 years 12 months ago
A graph-search framework for associating gene identifiers with documents
Background: One step in the model organism database curation process is to find, for each article, the identifier of every gene discussed in the article. We consider a relaxation ...
William W. Cohen, Einat Minkov
PR
2006
99views more  PR 2006»
14 years 11 months ago
Authenticating corrupted photo images based on noise parameter estimation
Photo image authentication is an interesting and demanding field in the computer vision and image processing community. This research is motivated by its wide range of application...
Sang-Woong Lee, Ho-Choul Jung, Bon-Woo Hwang, Seon...