2806 search results - page 103 / 562 » BML and Related Tools |
199
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present ABC, a software tool for automatically computing symbolic upper bounds on the number of iterations of nested program loops. The system combines static analysis...
200
click to vote
DLOG
2011
14 years 10 months ago
2011
The canonical standard description logic reasoning service is classification, that is, the generation of the set of atomic subsumptions which are entailed by some ontology. While ...
170
click to vote
DSS
2007
15 years 6 months ago
2007
To facilitate the analysis of real and simulated data on groups, organizations and societies, tools and measures are needed that can handle relational or network data that is mult...
165
click to vote
ACL
2009
15 years 4 months ago
2009
We examine correlations between native speaker judgements on automatically generated German text against automatic evaluation metrics. We look at a number of metrics from the MT a...
186
click to vote
ACL
2011
14 years 10 months ago
2011
We address the problem of part-of-speech tagging for English data from the popular microblogging service Twitter. We develop a tagset, annotate data, develop features, and report ...