741 search results - page 136 / 149 » A Local System for Classical Logic |
117
click to vote
SPAA
2009
ACM
16 years 3 months ago
2009
ACM
Dining philosophers is a classic scheduling problem for local mutual exclusion on arbitrary conflict graphs. We establish necessary conditions to solve wait-free dining under even...
147
Voted
SIGIR
2006
ACM
15 years 9 months ago
2006
ACM
Classical query expansion techniques such as the local context analysis (LCA) make use of term co-occurrence statistics to incorporate additional contextual terms for enhancing pa...
143
Voted
APLAS
2007
ACM
15 years 7 months ago
2007
ACM
Abstract. Given the combinatorial nature of cellular signalling pathways, where biological agents can bind and modify each other in a large number of ways, concurrent or agent-base...
125
Voted
FGCS
2007
15 years 3 months ago
2007
The computing-intensive data mining for inherently Internet-wide distributed data, referred to as Distributed Data Mining (DDM), calls for the support of a powerful Grid with an e...
128
click to vote
SIAMJO
2010
15 years 1 months ago
2010
Abstract. We present a new “lifting” approach for the solution of nonlinear optimization problems (NLPs) that have objective and constraint functions with intermediate variable...