5122 search results - page 196 / 1025 » Comparing Consequence Relations |
108
click to vote
SAT
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The adaptive noise mechanism was introduced in Novelty+ to automatically adapt noise settings during the search [4]. The local search algorithm G2 WSAT deterministically ...
149
Voted
ICDE
2005
IEEE
15 years 9 months ago
2005
IEEE
¡ Several systems have recently been proposed for the evaluation of XPath expressions. However, none of these systems have demonstrated both scalability with large document sizes ...
124
click to vote
ISLPED
2004
ACM
15 years 9 months ago
2004
ACM
In this paper we investigate the statistics of multiplier operands and identify two characteristics of their distribution that have important consequences for the design of low po...
124
Voted
FOSSACS
2004
Springer
15 years 9 months ago
2004
Springer
People often need to reason about policy changes before they are adopted. For example, suppose a website manager knows that users want to enter her site without going through the w...
112
click to vote
CSCW
2000
ACM
15 years 8 months ago
2000
ACM
Collaborations over distance must contend with the loss of the rich, subtle interactions that co-located teams use to coordinate their work. Previous research has suggested that o...