Sciweavers

4299 search results - page 448 / 860
» Concurrent Test Generation
Sort
View
AIPS
2009
15 years 7 months ago
A Semantics for HTN Methods
Despite the extensive development of first-principles planning in recent years, planning applications are still primarily developed using knowledge-based planners which can exploi...
Robert P. Goldman
SENSYS
2009
ACM
16 years 1 months ago
Run time assurance of application-level requirements in wireless sensor networks
Continuous and reliable operation of WSNs is notoriously difficult to guarantee due to hardware degradation and environmental changes. In this paper, we propose and demonstrate a ...
Jingyuan Li, Yafeng Wu, Krasimira Kapitanova, John...
SIGSOFT
2004
ACM
15 years 11 months ago
Resolving uncertainties during trace analysis
Software models provide independent perspectives onto software systems. Ideally, all models should use the same model element to describe the same part of a system. Practically, m...
Alexander Egyed
BMCBI
2008
141views more  BMCBI 2008»
15 years 6 months ago
The development of PIPA: an integrated and automated pipeline for genome-wide protein function annotation
Background: Automated protein function prediction methods are needed to keep pace with high-throughput sequencing. With the existence of many programs and databases for inferring ...
Chenggang Yu, Nela Zavaljevski, Valmik Desai, Seth...
CVPR
2004
IEEE
16 years 8 months ago
Distortion Estimation Techniques in Solving Visual CAPTCHAs
Abstract-- This paper describes two distortion estimation techniques for object recognition that solve EZ-Gimpy and Gimpy-r, two of the visual CAPTCHAs ("Completely Automated ...
Gabriel Moy, Nathan Jones, Curt Harkless, Randall ...