1863 search results - page 275 / 373 » Natural Language Analysis for Semantic Document Modeling |
118
click to vote
FDL
2005
IEEE
15 years 10 months ago
2005
IEEE
In today’s electronic system-level (ESL) design processes, an early analysis of a system’s communication and nce characteristics is becoming a key challenge. The availability ...
126
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Justification logics are epistemic logics that explicitly include justifications for the agents' knowledge. We develop a multi-agent justification logic with evidence terms fo...
159
click to vote
EACL
2006
ACL Anthology
15 years 6 months ago
2006
ACL Anthology
This paper addresses the problem of automatically retrieving answers for how-to questions, focusing on those that inquire about the procedure for achieving a specific goal. For su...
124
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
In this paper, an educational software aimed to help learning Information Theory basics in a practical way is reported. The software, called IT-tutor-UV, can produce entropy analy...
133
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...