2662 search results - page 110 / 533 » Tools Demonstrations |
182
click to vote
EUROMED
2010
15 years 2 months ago
2010
This study describes a process for digitizing 3D documentation with 3d laser scanner tools. The process of capturing 3D data is mainly for as-built environment in reconstruction an...
115
Voted
TAP
2010
Springer
15 years 1 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 ...
133
click to vote
EMNLP
2009
15 years 1 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...
149
click to vote
IEEEVAST
2010
14 years 11 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...
125
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper addresses an XML-based design environment, which provides a powerful basis for the manipulation of hardware design descriptions. The contribution of the paper is a flex...