95 search results - page 10 / 19 » Adding Nesting Structure to Words |
NJC
2006
13 years 8 months ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
CN
2010
13 years 8 months ago
2010
The ever growing request for digital information raises the need for content distribution architectures providing high storage capacity, data availability and good performance. Wh...
IJSI
2008
13 years 8 months ago
2008
Abstract A rich family of generic Information Extraction (IE) techniques have been developed by researchers nowadays. This paper proposes WebKER, a system for automatically extract...
SIGMOD
2008
ACM
14 years 8 months ago
2008
ACM
Scientific workflow systems are increasingly used to automate complex data analyses, largely due to their benefits over traditional approaches for workflow design, optimization, a...
CORR
2007
Springer
13 years 8 months ago
2007
Springer
The Semantic Web drives towards the use of the Web for interacting with logically interconnected data. Through knowledge models such as Resource Description Framework (RDF), the S...