55 search results - page 3 / 11 » Extracting Output Formats from Executables |
RULEML
2004
Springer
14 years 1 months ago
2004
Springer
The Web is now a huge information repository with a rich semantic structure that, however, is primarily addressed to human understanding rather than automated processing by a compu...
3DPVT
2004
IEEE
13 years 11 months ago
2004
IEEE
Gridded volumetric data sets representing simulation or tomography output are commonly visualized by displaying a triangulated isosurface for a particular isovalue. When the grid ...
SPIN
2009
Springer
14 years 2 months ago
2009
Springer
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
CSMR
2002
IEEE
14 years 18 days ago
2002
IEEE
To successfully carry out a software maintenance or reengineering task, a suitably assembled set of tools is required, which interoperate seaminglessly. To achieve this goal, an e...
SIGMOD
2010
ACM
13 years 7 months ago
2010
ACM
Information extraction systems are increasingly being used to mine structured information from unstructured text documents. A commonly used unsupervised technique is to build iter...