1197 search results - page 153 / 240 » Classification with partial labels |
134
Voted
IV
2010
IEEE
15 years 1 months ago
2010
IEEE
Searching and exploring on digital maps are normally performed through simple text boxes and zoomand-pan interfaces. In this paper, however, we present a novel technique, namely T...
ACL
2009
15 years 13 days ago
2009
This paper presents DEPEVAL(summ), a dependency-based metric for automatic evaluation of summaries. Using a reranking parser and a Lexical-Functional Grammar (LFG) annotation, we ...
160
Voted
KBS
2011
14 years 9 months ago
2011
Order-sorted logic is a useful tool for knowledge representation and reasoning because it enables representation of sorted terms and formulas along with partially ordered sorts (c...
94
Voted
HYBRID
2009
Springer
15 years 9 months ago
2009
Springer
This paper aims to simplify recent efforts proposed by the Berkeley school in giving a formal semantics to the Ptolemy toolbox. We achieve this by developing a simple and elegant ...
120
Voted
APN
2005
Springer
15 years 8 months ago
2005
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, give...