2777 search results - page 410 / 556 » Understanding ontological engineering |
129
click to vote
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
—A variety of partial modeling formalisms, aimed re and reason about abstractions, have been proposed. Some, e.g., Kripke Modal Transition Systems (KMTSs) put strong restrictions...
156
click to vote
CSE
2009
IEEE
15 years 11 months ago
2009
IEEE
—Human computation is a technique that makes use of human abilities for computation to solve problems. The human computation problems are the problems those computers are not goo...
153
Voted
DEXAW
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Search context is a crucial factor that helps to understand a user’s information need in ad-hoc Web page retrieval. A query log of a search engine contains rich inform...
129
click to vote
KBSE
2009
IEEE
15 years 11 months ago
2009
IEEE
—Planning a complex software modification task imposes a high cognitive burden on developers, who must juggle navigating the software, understanding what they see with respect t...
125
click to vote
ICSM
2009
IEEE
15 years 11 months ago
2009
IEEE
Error recovery is an integral concern in compilers. Improving error recovery requires comprehension of a large and complex code base, in order to locate the places which raise err...