Sciweavers

430 search results - page 81 / 86
» Results of the Ontology Alignment Evaluation Initiative 2007
Sort
View
119
Voted
CVPR
2007
IEEE
16 years 1 months ago
Progressive Finite Newton Approach To Real-time Nonrigid Surface Detection
Detecting nonrigid surfaces is an interesting research problem for computer vision and image analysis. One important challenge of nonrigid surface detection is how to register a n...
Jianke Zhu, Michael R. Lyu
HICSS
2009
IEEE
108views Biometrics» more  HICSS 2009»
15 years 6 months ago
E-File Adoption: A Study of U.S. Taxpayers' Intentions
In the United States, congress has set goals for the diffusion of e-government initiatives. One of congress’ goals for 2007 was for 80% of tax and informational returns to be fil...
L. Christian Schaupp, Lemuria Carter, Jeff Hobbs
ATVA
2007
Springer
226views Hardware» more  ATVA 2007»
15 years 6 months ago
Bounded Model Checking of Analog and Mixed-Signal Circuits Using an SMT Solver
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...
David Walter, Scott Little, Chris J. Myers
BMCBI
2008
128views more  BMCBI 2008»
14 years 11 months ago
In silico analysis of expressed sequence tags from Trichostrongylus vitrinus (Nematoda): comparison of the automated ESTExplorer
Background: The analysis of expressed sequence tags (EST) offers a rapid and cost effective approach to elucidate the transcriptome of an organism, but requires several computatio...
Shivashankar H. Nagaraj, Robin B. Gasser, Alasdair...
WABI
2007
Springer
102views Bioinformatics» more  WABI 2007»
15 years 5 months ago
Homology Search with Fragmented Nucleic Acid Sequence Patterns
The comprehensive annotation of non-coding RNAs in newly sequenced genomes is still a largely unsolved problem because many functional RNAs exhibit not only poorly conserved sequen...
Axel Mosig, Julian J.-L. Chen, Peter F. Stadler