1529 search results - page 275 / 306 » On the Construction of Ontologies based on Natural Language ... |
162
click to vote
SIGSOFT
2003
ACM
16 years 6 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
162
click to vote
PEPM
1999
ACM
15 years 10 months ago
1999
ACM
Aspect-oriented programming addresses the problem that the implementation of some properties such as error handling and optimization tends to cross-cut the basic functionality. To...
139
click to vote
SAS
1999
Springer
15 years 10 months ago
1999
Springer
This paper describes a powerful method for dead code analysis and elimination in the presence of recursive data constructions. We describe partially dead recursive data using live...
168
click to vote
SIGMOD
2004
ACM
16 years 6 months ago
2004
ACM
Querying XML data is a well-explored topic with powerful databasestyle query languages such as XPath and XQuery set to become W3C standards. An equally compelling paradigm for que...
161
click to vote
BIS
2008
15 years 7 months ago
2008
Deep web search requires a transformation between search keywords and semantically described and well-formed data structures. We approached this problem in our "In the Web of ...