Sciweavers

5863 search results - page 307 / 1173
» On Model-Checking of P Systems
Sort
View
ENTCS
2008
105views more  ENTCS 2008»
15 years 7 months ago
Two-Level Hybrid: A System for Reasoning Using Higher-Order Abstract Syntax
Alberto Momigliano, Alan J. Martin, Amy P. Felty
CACM
2007
73views more  CACM 2007»
15 years 7 months ago
Evaluating the efficacy of a terrorism question/answer system
Robert P. Schumaker, Ying Liu, Mark Ginsburg, Hsin...