6258 search results - page 1097 / 1252 » Applied Text Generation |
168
click to vote
ICFP
2012
ACM
13 years 6 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
149
click to vote
BIOINFORMATICS
2012
13 years 6 months ago
2012
Summary: The MolClass toolkit and data portal generates computational models from user-defined small molecule datasets based on structural features identified in hit and non-hit m...
165
click to vote
ECCV
2002
Springer
16 years 6 months ago
2002
Springer
Abstract. Natural scenes consist of a wide variety of stochastic patterns. While many patterns are represented well by statistical models in two dimensional regions as most image s...
244
click to vote
ICDE
2005
IEEE
16 years 5 months ago
2005
IEEE
Many scientific applications generate massive volumes of data through observations or computer simulations, bringing up the need for effective indexing methods for efficient stora...
124
click to vote
VIS
2004
IEEE
16 years 5 months ago
2004
IEEE
This paper introduces importance-driven volume rendering as a novel technique for automatic focus and context display of volumetric data. Our technique is a generalization of cut-...