4466 search results - page 55 / 894 » Large-Scale Data Analysis Using Heuristic Methods |
106
click to vote
ECTEL
2009
Springer
15 years 9 months ago
2009
Springer
A very wide range of online interaction analysis staying in the hands of researchers, and tools being implemented in research prototypes, often used only in non-replicated experime...
ASPDAC
2000
ACM
15 years 6 months ago
2000
ACM
We present a satisfiability based multi-clock path analysis method. The method uses propositional satisfiability (SAT) in the detection of multi-clock paths. We show a method to re...
121
click to vote
OWLED
2007
15 years 3 months ago
2007
This analysis is to identify requirements for a Description Logic (DL) to reason about product descriptions and other information related to product development. The DL is intended...
114
click to vote
LSGRID
2004
Springer
15 years 7 months ago
2004
Springer
The BRIDGES project is incrementally developing and exploring database integration over six geographically distributed research sites with the framework of a Wellcome Trust biomedi...
155
Voted
OSDI
2008
ACM
15 years 4 months ago
2008
ACM
DryadLINQ is a system and a set of language extensions that enable a new programming model for large scale distributed computing. It generalizes previous execution environments su...