1069 search results - page 135 / 214 » Automatic Generation of Language-based Tools |
119
click to vote
BMCBI
2008
14 years 12 months ago
2008
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 ...
115
click to vote
MM
2003
ACM
15 years 5 months ago
2003
ACM
combinFormation is a tool that enables browsing and collecting information elements in a generative space. By generative, we mean that the tool is an agent that automatically retr...
121
click to vote
ICCAD
1999
IEEE
15 years 4 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
BIRTHDAY
2010
Springer
15 years 29 days 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...
133
click to vote
JSW
2008
14 years 11 months ago
2008
- The use of Unmanned Underwater Vehicles (UUVs) has been proposed for several different types of applications including hydrographic surveys (e.g., mapping the ocean floor and exp...