1146 search results - page 118 / 230 » Formal Specification Generation from Requirement Documents |
173
click to vote
SIGMOD
2008
ACM
15 years 10 months ago
2008
ACM
Text documents often embed data that is structured in nature. This structured data is increasingly exposed using information extraction systems, which generate structured relation...
ERCIMDL
2007
Springer
15 years 4 months ago
2007
Springer
We propose and evaluate a query expansion mechanism that supports searching and browsing in collections of annotated documents. Based on generative language models, our feedback me...
CCS
2008
ACM
14 years 12 months ago
2008
ACM
By functionally decomposing a specific algorithm (the hierarchical secure aggregation algorithm of Chan et al. [3] and Frikken et al. [7]), we uncover a useful general functionali...
ICIP
2008
IEEE
15 years 11 months ago
2008
IEEE
Summarizing the contents of a video containing human activities is an important problem in computer vision and has important applications in automated surveillance systems. Summar...
WWW
2004
ACM
15 years 10 months ago
2004
ACM
The evaluation of eLearning success is an indispensable business requirement of education programs: the easy registration of `visits' to eLearning websites is, however, not s...