718 search results - page 135 / 144 » Extraction of Structured Programs from Specification Proofs |
BMCBI
2008
13 years 8 months ago
2008
Background: Prediction of protein solvent accessibility, also called accessible surface area (ASA) prediction, is an important step for tertiary structure prediction directly from...
CVPR
2008
IEEE
14 years 10 months ago
2008
IEEE
A fast 3D model reconstruction methodology is desirable in many applications such as urban planning, training, and simulations. In this paper, we develop an automated algorithm fo...
SIGMOD
2006
ACM
14 years 8 months ago
2006
ACM
Text is ubiquitous and, not surprisingly, many important applications rely on textual data for a variety of tasks. As a notable example, information extraction applications derive...
AMKM
2003
Springer
14 years 1 months ago
2003
Springer
This research investigates a unique Indexing Structure and Navigational Interface which integrates (1) ontology-driven knowledge-base (2) statistically derived indexing parameters...
CIKM
2008
Springer
13 years 10 months ago
2008
Springer
In social media, such as blogs, since the content naturally evolves over time, it is hard or in many cases impossible to organize the content for effective navigation. Thus, one c...