1205 search results - page 34 / 241 » Program Extraction from Large Proof Developments |
CBMS
2006
IEEE
14 years 2 months ago
2006
IEEE
Electronic Medical Records are important to manage health data and save lives to improve the quality of service in hospitals. Clinical medical records contain a wealth of informat...
ACL
2010
13 years 9 months ago
2010
Comparing one thing with another is a typical part of human decision making process. However, it is not always easy to know what to compare and what are the alternatives. To addre...
ICCAD
1992
IEEE
14 years 3 months ago
1992
IEEE
In this paper we describe combining a mesh analysis equation formulation technique with a preconditioned GORES matrix solution algorithm to accelerate the determination of inducta...
ESOP
2007
Springer
14 years 2 months ago
2007
Springer
Non-interference is a semantical condition on programs that guarantees the absence of illicit information flow throughout their execution, and that can be enforced by appropriate i...
ACL
1990
14 years 3 days ago
1990
Collocational knowledge is necessary for language generation. The problem is that collocations come in a large variety of forms. They can involve two, three or more words, these w...