1529 search results - page 245 / 306 » On the Construction of Ontologies based on Natural Language ... |
98
Voted
PEPM
2010
ACM
15 years 9 months ago
2010
ACM
Adapting a strictness analyser to have it take into account explicit strictness annotations can be a tricky business. Straightforward extensions of analyses based on relevance typ...
101
Voted
TCS
2010
14 years 11 months ago
2010
The refinement calculus of Back, Morgan, Morris, and others is based on monotone predicate transformers (weakest preconditions) where conjunctions stand for demonic choices betwee...
117
click to vote
CIKM
2011
Springer
14 years 16 days ago
2011
Springer
Traditional information retrieval techniques based on keyword search help to identify a ranked set of relevant documents, which often contains many documents in the top ranks that...
103
Voted
ICECCS
2006
IEEE
15 years 6 months ago
2006
IEEE
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
94
Voted
ADBIS
2005
Springer
15 years 6 months ago
2005
Springer
The current period of IT development is characterized by an explosive growth of diverse information representation languages. Applying integration and composition of heterogeneous ...