134 search results - page 11 / 27 » Flexible Encoding of Mathematics on the Computer |
127
Voted
GECCO
2009
Springer
15 years 8 months ago
2009
Springer
Given a collection of terminals, each with a demand, a collection of concentrators, each with a capacity, and costs of connecting the terminals to the concentrators, the terminal ...
125
Voted
COLING
2002
15 years 3 months ago
2002
We report about the current state of development of a document suite and its applications. This collection of tools for the flexible and robust processing of documents in German i...
142
Voted
NSDI
2010
15 years 5 months ago
2010
We present Airavat, a MapReduce-based system which provides strong security and privacy guarantees for distributed computations on sensitive data. Airavat is a novel integration o...
115
Voted
DAC
2003
ACM
16 years 4 months ago
2003
ACM
SAT-based decision procedures for quantifier-free fragments of firstorder logic have proved to be useful in formal verification. These decision procedures are either based on enco...
124
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: Computational biology is often associated with genetic or genomic studies only. However, thanks to the increase of computational resources, computational models are ap...