1628 search results - page 269 / 326 » Compiler Construction Using Scheme |
EUROCRYPT
1997
Springer
14 years 2 months ago
1997
Springer
We propose a concept for a worldwide information security infrastructure that protects law-abiding citizens, but not criminals, even if the latter use it fraudulently (i.e. when no...
SAT
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. We introduce a new conceptual model for representing and designing Stochastic Local Search (SLS) algorithms for the propositional satisfiability problem (SAT). Our model...
NDQA
2003
2003
Combining Low-Level and Summary Representations of Opinions for Multi-Perspective Question Answering
13 years 11 months ago
1 While much recent progress has been made in research on fact-based question answering, our work aims to extend question-answering research in a different direction ─ to handle ...
COR
2010
13 years 10 months ago
2010
Companies in the concrete industry are facing the following scheduling problem on a daily basis: concrete produced at several plants has to be delivered at customers' constru...
IPM
2007
13 years 10 months ago
2007
The work described here initially formed part of a triangulation exercise to establish the effectiveness of the Query Term Order algorithm. The methodology produced subsequently p...