Sciweavers

5170 search results - page 88 / 1034
» A Document-Oriented Approach to the Development of Knowledge...
Sort
View
HASKELL
2006
ACM
16 years 9 days ago
Running the manual: an approach to high-assurance microkernel development
We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...
Philip Derrin, Kevin Elphinstone, Gerwin Klein, Da...
IDEAS
2010
IEEE
238views Database» more  IDEAS 2010»
15 years 4 months ago
An integrative approach to query optimization in native XML database management systems
Even though an effective cost-based query optimizer is of utmost importance for the efficient evaluation of XQuery expressions in native XML database systems, such a component is...
Andreas M. Weiner, Theo Härder
AIRS
2008
Springer
16 years 20 days ago
An Opinion Analysis System Using Domain-Specific Lexical Knowledge
Abstract. In this paper, we describe an opinion analysis system using domainspecific lexical knowledge in Korean economic news. We tested our hypothesis that such domain-specific k...
Youngho Kim, Yuchul Jung, Sung-Hyon Myaeng
CADE
2008
Springer
15 years 8 months ago
LogAnswer - A Deduction-Based Question Answering System (System Description)
LogAnswer is an open domain question answering system which employs an automated theorem prover to infer correct replies to natural language questions. For this purpose LogAnswer o...
Ulrich Furbach, Ingo Glöckner, Hermann Helbig...
ECIS
2003
15 years 7 months ago
The method evaluation model: a theoretical model for validating information systems design methods
Information Systems (IS) design research tends to emphasise the development of new methods (normative research), while addressing the evaluation of methods in only a limited fashi...
Daniel L. Moody