3005 search results - page 214 / 601 » Logical Information Systems: from Taxonomies to Logics |
190
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
In most web sites, web-based applications (such as web portals, emarketplaces, search engines), and in the file systems of personal computers, a wide variety of schemas (such as t...
320
click to vote
POPL
2004
ACM
16 years 7 months ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...
180
click to vote
ECIS
2003
15 years 8 months ago
2003
Since networks and computing systems are vital components of today's life, it is of utmost importance to endow them with the capability to survive physical and logical faults...
164
click to vote
CLEF
2005
Springer
16 years 4 days ago
2005
Springer
This paper describes the development of a question answering system for monolingual and cross-lingual tasks for the languages English and German. We developed the question answeri...
156
click to vote
ECIS
2001
15 years 8 months ago
2001
Governments are employing modern information and communication technologies to better serve society. Raising the effectiveness of government as well as the quality of the civil se...