3804 search results - page 66 / 761 » From Here to There |
157
click to vote
AI
2000
Springer
15 years 6 months ago
2000
Springer
The World Wide Web is a vast source of information accessible to computers, but understandable only to humans. The goal of the research described here is to automatically create a...
151
click to vote
IS
2010
15 years 4 months ago
2010
Given a hypergraph and a set of embedded functional dependencies, we investigate the problem of determining the conditions under which we can efficiently generate redundancy-free ...
215
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: The correlation between the expression levels of transcription factors and their target genes can be used to infer interactions within animal regulatory networks, but ...
293
click to vote
POPL
2003
ACM
16 years 6 months ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
160
click to vote
WMPI
2004
ACM
15 years 11 months ago
2004
ACM
The Opie Project aims to develop a compiler to transform C codes written for row-major matrix representation into equivalent codes for Morton-order matrix representation, and to a...