41 search results - page 5 / 9 » Design Simplification by Analogical Reasoning |
IUI
2010
ACM
14 years 4 months ago
2010
ACM
When editing a story from a large collection of media, such as photos and video clips captured from daily life, it is not always easy to understand how particular scenes fit into ...
ICCBR
2005
Springer
14 years 18 days ago
2005
Springer
We focus on the problem of selecting the few vehicles in a fleet that are expected to last the longest without failure. The prediction of each vehicle’s remaining life is based o...
ICFP
2009
ACM
14 years 7 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
ER
1997
Springer
13 years 11 months ago
1997
Springer
Several decades of software engineering research confirm that effective reuse is the only realistic approach to meeting the ever-increasing demands on the software industry. Over ...
BMCBI
2008
13 years 7 months ago
2008
Background: Bio-ontologies are key elements of knowledge management in bioinformatics. Rich and rigorous bio-ontologies should represent biological knowledge with high fidelity an...