5786 search results - page 1010 / 1158 » Lines Pinning Lines |
161
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
MaLARea (a Machine Learner for Automated Reasoning) is a simple metasystem iteratively combining deductive Automated Reasoning tools (now the E and the SPASS ATP systems) with a m...
130
click to vote
STOC
2004
ACM
16 years 6 months ago
2004
ACM
Recently, approximation analysis has been extensively used to study algorithms for routing weighted packets in various network settings. Although different techniques were applied...
172
click to vote
OSDI
2006
ACM
16 years 6 months ago
2006
ACM
In current commodity systems, applications have no way of limiting their trust in the underlying operating system (OS), leaving them at the complete mercy of an attacker who gains...
187
click to vote
OSDI
2002
ACM
16 years 6 months ago
2002
ACM
Many system errors do not emerge unless some intricate sequence of events occurs. In practice, this means that most systems have errors that only trigger after days or weeks of ex...
298
click to vote
SIGMOD
2009
ACM
16 years 6 months ago
2009
ACM
Labeling schemes lie at the core of query processing for many XML database management systems. Designing labeling schemes for dynamic XML documents is an important problem that ha...