6167 search results - page 1178 / 1234 » Can Refinement be Automated |
IWANN
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. ZARAMIT is an information system capable of fully automated phylogeny reconstruction. Methods have been tailored to mitochondrial DNA sequences, with focus on subproblem ...
OOPSLA
2009
Springer
14 years 4 months ago
2009
Springer
Software correctness has bedeviled the field of computer science since its inception. Software complexity has increased far more quickly than our ability to control it, reaching ...
CASES
2009
ACM
14 years 4 months ago
2009
ACM
Networks of ultra-low-power nodes capable of sensing, computation, and wireless communication have applications in medicine, science, industrial automation, and security. Over the...
SIGCOMM
2009
ACM
14 years 4 months ago
2009
ACM
Many network applications have stringent end-to-end latency requirements, including VoIP and interactive video conferencing, automated trading, and high-performance computing—wh...
SIGIR
2009
ACM
14 years 4 months ago
2009
ACM
Indexing and retrieval of speech content in various forms such as broadcast news, customer care data and on-line media has gained a lot of interest for a wide range of application...