7557 search results - page 1244 / 1512 » Modeling Timed Concurrent Systems |
173
click to vote
NAACL
2007
15 years 8 months ago
2007
This paper reports experiments in which pCRU — a generation framework that combines probabilistic generation methodology with a comprehensive model of the generation space — i...
185
Voted
DAIS
2006
15 years 8 months ago
2006
Abstract. This paper discusses a way of incorporating speculation techniques into Distributed Shared Memory (DSM) systems with checkpointing mechanism without creating unnecessary ...
196
click to vote
NETWORKING
2004
15 years 8 months ago
2004
A common feature of congestion control protocols is the presence of information packets used to signal congestion. We address here the question of how frequently such protocols nee...
174
click to vote
NIPS
2004
15 years 8 months ago
2004
Belief propagation (BP) is an increasingly popular method of performing approximate inference on arbitrary graphical models. At times, even further approximations are required, wh...
173
click to vote
IADIS
2003
15 years 8 months ago
2003
One of the main objectives in setting up wireless services is to provide feasible content for the mobile users wherever and whenever they might need it. The dream of having servic...