708 search results - page 86 / 142 » Support for Informal Information Use and its Formalization i... |
WIKIS
2006
ACM
14 years 3 months ago
2006
ACM
Wikipedia is the world’s largest collaboratively edited source of encyclopaedic knowledge. But in spite of its utility, its contents are barely machine-interpretable. Structural...
EUSFLAT
2001
13 years 10 months ago
2001
Meta-analysis is a statistical procedure to do syntheses of evidences. In the production of scientific knowledge, in spite of paradigmatic skips of quality, the rising of the accu...
ICDE
2004
IEEE
14 years 10 months ago
2004
IEEE
Most of today's structured data is stored in relational databases. Such a database consists of multiple relations which are linked together conceptually via entity-relationsh...
SACMAT
2005
ACM
14 years 2 months ago
2005
ACM
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard...
PLDI
2004
ACM
14 years 2 months ago
2004
ACM
Pointer analysis is a critical problem in optimizing compiler, parallelizing compiler, software engineering and most recently, hardware synthesis. While recent efforts have sugges...