2819 search results - page 202 / 564 » Automatic Structures |
CAV
2009
Springer
14 years 10 months ago
2009
Springer
We present VS3 , a tool that automatically verifies complex properties of programs and infers maximally weak preconditions and maximally strong postconditions by leveraging the pow...
DAARC
2009
Springer
14 years 4 months ago
2009
Springer
We focus on automatic coreference resolution for blogs and news articles with user comments as part of a project on opinion mining. We aim to study the effect of the genre shift f...
GBRPR
2009
Springer
14 years 4 months ago
2009
Springer
This article shows how the interactive segmentation tool termed “Active Paintbrush” and a fully automatic region merging can both be based on the theoretical framework of contr...
IJCAI
2003
13 years 11 months ago
2003
With domain ontology, a meaningful index of document indexing, such as the domain events structure in this paper, can be defined. Since the construction of domain ontology is cost...
NAACL
2003
13 years 11 months ago
2003
WordFreak is a natural language annotation tool that has been designed to be easy to extend to new domains and tasks. Specifically, a plug-in architecture has been developed whic...