58933 search results - page 11677 / 11787 » Information |
136
click to vote
DLOG
2009
15 years 2 months ago
2009
Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...
167
click to vote
EMNLP
2009
15 years 2 months ago
2009
We connect two scenarios in structured learning: adapting a parser trained on one corpus to another annotation style, and projecting syntactic annotations from one language to ano...
133
click to vote
ESIAT
2009
IEEE
15 years 2 months ago
2009
IEEE
Ocean primary production (OPP) is an important indicator of ocean ecological system. The spatial and temporal pattern of OPP is helpful for global climate change study. Remote sens...
135
click to vote
FLAIRS
2009
15 years 2 months ago
2009
While team action recognition has a relatively extended literature, less attention has been given to the detailed realtime analysis of the internal structure of the team actions. ...
173
click to vote
FOMI
2009
15 years 2 months ago
2009
Abstract. The paper presents the preliminary version of Ontobella - a domain ontology of beliefs. The philosophical assumptions of this system are taken from the philosophy of Roma...