1061 search results - page 122 / 213 » Co-authoring with structured annotations |
VMCAI
2004
Springer
15 years 4 months ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...
BMCBI
2008
14 years 11 months ago
2008
Background: Most non-coding RNA families exert their function by means of a conserved, common secondary structure. The Rfam data base contains more than five hundred structurally ...
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Given a finite number of data points sampled from a low-dimensional manifold embedded in a high dimensional space together with the parameter vectors for a subset of the data poin...
114
click to vote
ICIP
2004
IEEE
16 years 29 days ago
2004
IEEE
The work presents the first effort to automatically annotate the semantic meanings of temporal video patterns obtained through unsupervised discovery processes. This problem is in...
164
click to vote
ICDE
2001
IEEE
16 years 21 days ago
2001
IEEE
What do you do to make sense of a mass of information on a given topic? Paradoxically, you likely add yet more information to the pile: annotations, underlining, bookmarks, cross-...