1929 search results - page 42 / 386 » A Problem Space Approach to Expert System Specification |
133
Voted
ICAIL
2003
ACM
15 years 8 months ago
2003
ACM
Problems with legal quality will not only increase effort and costs of the law enforcement organisations, but also undermines the regulating power of the legislator. Unintended us...
119
click to vote
LREC
2008
15 years 5 months ago
2008
Development of lexical resources is, along with grammar development, one of the main efforts when building multilingual NLP applications. In this paper, we present a tool-based ap...
140
click to vote
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents first a review of recent advancements in the theory of knowledge creation, starting with Shinayakana Systems Approach of Sawaragi and Nakamori and The Knowledg...
126
Voted
HYBRID
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In this paper, we propose a new approach for formal verification of hybrid systems. To do so, we present a new refinement proof technique, a weak refinement using step in...
117
Voted
IKE
2003
15 years 4 months ago
2003
Many information retrieval systems use the inverted file as indexing structure. The inverted file, however, is not suited to supporting incremental updates when new documents are ...