12993 search results - page 2534 / 2599 » Artificial Intelligence in China |
197
click to vote
TPHOL
2008
IEEE
16 years 21 days ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
181
click to vote
BIBE
2007
IEEE
16 years 20 days ago
2007
IEEE
—We present an information retrieval model for combining evidence from concept-based semantics, term statistics, and context for improving search precision of genomics literature...
169
click to vote
TPHOL
2007
IEEE
16 years 18 days ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
182
click to vote
TPHOL
2007
IEEE
16 years 18 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
156
click to vote
FUZZIEEE
2007
IEEE
16 years 17 days ago
2007
IEEE
— A DNA sequence can be described as a string composed of four symbols: A, T, C and G. Each symbol represents a chemically distinct nucleotide molecule. Combinations of two nucle...