2635 search results - page 120 / 527 » Computing multihomogeneous resultants using straight-line pr... |
162
Voted
JAIR
2007
15 years 3 months ago
2007
We report on a successful experiment of computeraided theorem discovery in the area of logic programming with answer set semantics. Specifically, with the help of computers, we d...
117
Voted
JLP
2000
15 years 3 months ago
2000
interpretation. In the context of stream parallelism, this analysis identi es an amount of input data for which predicate execution can safely wait without danger of introducing de...
113
click to vote
IOR
2010
15 years 2 months ago
2010
This paper introduces disjunctive decomposition for two-stage mixed 0-1 stochastic integer programs (SIPs) with random recourse. Disjunctive decomposition allows for cutting plane...
144
Voted
SAC
2008
ACM
15 years 3 months ago
2008
ACM
We improve the resistance of gossip-based multicast to (Distributed) Denial of Service (DoS) attacks using dynamic local adaptations at each node. Each node estimates the current ...
191
Voted
GPC
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Large-scale distributed computing applications require concurrent programming models that support modular and compositional software development. The actor model supports...