1224 search results - page 238 / 245 » Concept Search |
AAAI
1990
13 years 10 months ago
1990
Programs such as Bacon, Abacus, Coper, Kepler and others are designed to find functional relationships of scientific significance in numerical data without relying on the deep dom...
IJCAI
1989
13 years 10 months ago
1989
This paper deals with a well known problem in AI planning: detecting and resolving conflicts in nonlinear plans. We sketch a theory of restricted conflict detection and resolution...
BIRTHDAY
2010
Springer
13 years 10 months ago
2010
Springer
One of the obstacles in automatic program proving is to obtain suitable loop invariants. The invariant of a loop is a weakened form of its postcondition (the loop's goal, als...
HPDC
2010
IEEE
13 years 10 months ago
2010
IEEE
The explosion of data in the biological community demands the development of more scalable and flexible portals for bioinformatic computation. To address this need, we put forth c...
AIEDAM
2007
2007
Biomimetic design through natural language analysis to facilitate cross-domain information retrieval
13 years 9 months ago
Biomimetic, or biologically inspired, design uses analogous biological phenomena to develop solutions for engineering problems. Several instances of biomimetic design result from ...