974 search results - page 184 / 195 » A Lightweight Approach to Semantic Annotation of Research Pa... |
116
click to vote
ICDAR
2011
IEEE
13 years 11 months ago
2011
IEEE
—Content-based video indexing and retrieval has become an interesting research area with the tremendous growth in the amount of digital media. In addition to the audio-visual con...
117
click to vote
SIGSOFT
2007
ACM
16 years 15 days ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
108
click to vote
KBSE
2002
IEEE
15 years 4 months ago
2002
IEEE
ort gives their abstracts. s of the position papers Recent Experiences with Code Generation and Task Automation Agents in Software Tools (J. Grundy, J. Hosking) As software grows i...
ACL
2004
15 years 1 months ago
2004
We use a reliably annotated corpus to compare metrics of coherence based on Centering Theory with respect to their potential usefulness for text structuring in natural language ge...
113
click to vote
BMCBI
2007
14 years 12 months ago
2007
Background: Since many of the new protein structures delivered by high-throughput processes do not have any known function, there is a need for structure-based prediction of prote...