6047 search results - page 131 / 1210 » A Scenario Construction Process |
220
Voted
HASKELL
2005
ACM
16 years 16 days ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
209
Voted
ICAIL
2005
ACM
16 years 16 days ago
2005
ACM
The potential of knowledge-based technological support for work in the legal domain has become widely recognized in recent time. This paper argues for an approach that is meant to...
214
Voted
ICAIL
2005
ACM
16 years 16 days ago
2005
ACM
The Dutch Tax and Customs Administration (DTCA) is one of many organizations that deal with a multitude of electronic legal data, from various sources and in different formats. In...
188
Voted
SIGIR
2004
ACM
16 years 12 days ago
2004
ACM
As online document collections continue to expand, both on the Web and in proprietary environments, the need for duplicate detection becomes more critical. The goal of this work i...
160
Voted
CDVE
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. Knowledge has become the most strategic resource in the new business environment. A case-based reasoning system, which incorporates a novel clustering and retrieval metho...