3468 search results - page 407 / 694 » An open logical framework |
138
click to vote
FASE
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. API error-handling specifications are often not documented, necessitating automated specification mining. Automated mining of error-handling specifications is challenging...
141
click to vote
ESCIENCE
2006
IEEE
15 years 8 months ago
2006
IEEE
In this paper we present a general domain for the analysis of workflows and workflow components based on the notion of a collection of Turing machines sharing a set of tapes. We s...
125
click to vote
LREC
2008
15 years 5 months ago
2008
Recently, there has been an emphasis on creating shared resources for natural language processing applications. This has resulted in the development of high-quality tools and data...
139
click to vote
MEDINFO
2007
15 years 5 months ago
2007
There is a significant increase in the use of medical images in clinical medicine, disease research, and education. While the literature lists several successful systems for conte...
ECIS
2001
15 years 5 months ago
2001
The growth and popularity of e-commerce has both challenged and enabled public sector organisations to redefine their levels of service. In the early 1990's BPR was proposed ...