134 search results - page 11 / 27 » Flexible Encoding of Mathematics on the Computer |
GECCO
2009
Springer
15 years 4 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 ...
92
Voted
COLING
2002
14 years 11 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...
104
click to vote
NSDI
2010
15 years 1 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...
DAC
2003
ACM
16 years 18 days 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...
BMCBI
2008
14 years 11 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...