14158 search results - page 2395 / 2832 » Generalized switch-setting problems |
233
click to vote
TPHOL
2009
IEEE
16 years 2 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
212
click to vote
ASIACRYPT
2009
Springer
16 years 2 months ago
2009
Springer
Multi-party secure computations are general important procedures to compute any function while keeping the security of private inputs. In this work we ask whether preprocessing can...
218
click to vote
ATAL
2009
Springer
16 years 2 months ago
2009
Springer
Distributed constraint optimization (DCOP) provides a framework for coordinated decision making by a team of agents. Often, during the decision making, capacity constraints on age...
197
click to vote
CIKM
2009
Springer
16 years 2 months ago
2009
Springer
Many web links mislead human surfers and automated crawlers because they point to changed content, out-of-date information, or invalid URLs. It is a particular problem for large, ...
211
Voted
CIKM
2009
Springer
16 years 2 months ago
2009
Springer
Background: Although both conservation and correlated mutation (CM) are important information reflecting the different sorts of context in multiple sequence alignment, most of ali...