883 search results - page 61 / 177 » The Semantics of Verilog Using Transition System Combinators |
ACL
2006
2006
Answer Extraction, Semantic Clustering, and Extractive Summarization for Clinical Question Answering
13 years 10 months ago
This paper presents a hybrid approach to question answering in the clinical domain that combines techniques from summarization and information retrieval. We tackle a frequently-oc...
CSFW
1997
IEEE
14 years 1 months ago
1997
IEEE
A type system is given that eliminates two kinds of covert flows in an imperative programming language. The first kind arises from nontermination and the other from partial oper...
JDCTA
2010
13 years 4 months ago
2010
Context-awareness has been considered as promising topic in pervasive computing area, but a review of the existing approaches shown that developing diverse application services in...
ICDM
2009
IEEE
13 years 7 months ago
2009
IEEE
: Topic Modeling for Sequences of Temporal Activities Zhi-Yong Shen, Ping Luo, Yuhong Xiong, Jun Sun, Yi-Dong Shen HP Laboratories HPL-2010-160 topic modeling, LDA, sequence, temp...
LICS
2010
IEEE
13 years 7 months ago
2010
IEEE
ing the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture) Vincent Danos∗§, J´erˆome Feret†, Walter Fontana‡, Russell Harme...