2662 search results - page 81 / 533 » Objects-early tools: a demonstration |
TAP
2010
Springer
14 years 11 months ago
2010
Springer
We present QuickSpec, a tool that automatically generates algebraic specifications for sets of pure functions. The tool is based on testing, rather than static analysis or theorem ...
109
click to vote
EMNLP
2009
14 years 11 months ago
2009
Topic models are a useful tool for analyzing large text collections, but have previously been applied in only monolingual, or at most bilingual, contexts. Meanwhile, massive colle...
116
click to vote
ENTCS
2010
14 years 11 months ago
2010
We propose an algebra of languages and transformations as a means for extending s syntactically. The algebra provides a layer of high-level abstractions built on top of languages ...
120
click to vote
IEEEVAST
2010
14 years 8 months ago
2010
The final product of an analyst`s investigation using a visualization is often a report of the discovered knowledge, as well as the methods employed and reasoning behind the disco...
106
Voted
INTERSPEECH
2010
14 years 8 months ago
2010
Intonational research is often dependent upon hand-labeling by trained listeners, which can be prone to bias or error. We apply tools from Functional Data Analysis (FDA) to a set ...