1722 search results - page 145 / 345 » Generating Tests from Counterexamples |
ISF
2010
13 years 8 months ago
2010
As more and more companies are deploying, or plan to deploy, information systems, the organizational capabilities to effectively deploy information technologies to support and shap...
BMCBI
2011
13 years 2 months ago
2011
Background: With next-generation sequencing technologies, experiments that were considered prohibitive only a few years ago are now possible. However, while these technologies hav...
CVPR
2008
IEEE
15 years 13 days ago
2008
IEEE
The use of 3-D ultrasound data has several advantages over 2-D ultrasound for fetal biometric measurements, such as considerable decrease in the examination time, possibility of p...
ACMACE
2006
ACM
14 years 4 months ago
2006
ACM
Virtual beings are playing a remarkable role in today’s public entertainment, while ordinary users are still treated as audiences due to the lack of appropriate expertise, equip...
MM
2005
ACM
14 years 4 months ago
2005
ACM
In this paper we unify two supposedly distinct tasks in multimedia retrieval. One task involves answering queries with a few examples. The other involves learning models for seman...