1716 search results - page 234 / 344 » Proving Conditional Termination |
143
Voted
JCST
2010
15 years 2 months ago
2010
Fast changing knowledge on the Internet can be acquired more efficiently with the help of automatic document summarization and updating techniques. This paper describes a novel app...
116
Voted
MOR
2010
15 years 2 months ago
2010
We study G/G/n + GI queues in which customer patience times are independent, identically distributed following a general distribution. When a customer’s waiting time in queue ex...
95
Voted
NA
2010
15 years 2 months ago
2010
In this paper, we first propose product Toeplitz preconditioners (in an inverse form) for non-Hermitian Toeplitz matrices generated by functions with zeros. Our inverse product-ty...
103
Voted
PROCEDIA
2010
15 years 2 months ago
2010
We propose a nonequilibrium sampling method for computing free energy profiles along a given reaction coordinate. The method consists of two parts: a controlled Langevin sampler ...
135
click to vote
SYNTHESE
2010
15 years 2 months ago
2010
In this paper, I investigate the relationship between preference and judgment aggregation, using the notion of ranking judgment introduced in List and Pettit (Synthese 140(1–2):2...