4708 search results - page 242 / 942 » Generating the Structure of Argument |
165
click to vote
SIGMOD
2004
ACM
16 years 6 months ago
2004
ACM
Random sampling is one of the most fundamental data management tools available. However, most current research involving sampling considers the problem of how to use a sample, and...
177
click to vote
SAIG
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Short cut fusion is a particular program transformation technique which uses a single, local transformation — called the foldr-build rule — to remove certain intermed...
151
click to vote
ICALP
2010
Springer
15 years 8 months ago
2010
Springer
We investigate the parameterized computational complexity of the satisfiability problem for modal logic and attempt to pinpoint relevant structural parameters which cause the probl...
161
click to vote
LREC
2008
15 years 8 months ago
2008
Semantic databases are a stable starting point in developing knowledge based systems. Since creating language resources demands many temporal, financial and human resources, a pos...
185
click to vote
LWA
2008
15 years 8 months ago
2008
In informal collections of collaboratively created knowledge like wikis, there is no well-defined way of reporting issues with knowledge items. When something is wrong or needs im...