Sciweavers

10568 search results - page 119 / 2114
» Computer Intelligence and Formalization
Sort
View
61
Voted
DAC
1997
ACM
15 years 7 months ago
Formal Verification of Content Addressable Memories Using Symbolic Trajectory Evaluation
Manish Pandey, Richard Raimi, Randal E. Bryant, Ma...
95
Voted
CHI
1994
ACM
15 years 6 months ago
Supporting knowledge-base evolution with incremental formalization
Frank M. Shipman III, Raymond McCall
92
Voted
TLCA
1993
Springer
15 years 6 months ago
Pure Type Systems Formalized
James McKinna, Robert Pollack
84
Voted
CMSB
2007
Springer
15 years 6 months ago
A Formal and Integrated Framework to Simulate Evolution of Biological Pathways
Lorenzo Dematté, Corrado Priami, Alessandro...