Sciweavers

1162 search results - page 132 / 233
» An Information-Based Theory of Conditionals
Sort
View
4OR
2006
115views more  4OR 2006»
15 years 6 months ago
Empirical validation of a queueing approach to uninterrupted traffic flows
Abstract In this paper, the use of queueing theory for modeling uninterrupted traffic flows is evaluated. Empirical data on speeds and flows are used to evaluate speeds generated b...
Tom Van Woensel, Nico Vandaele
AUTOMATICA
2006
64views more  AUTOMATICA 2006»
15 years 6 months ago
On stability of second-order quasi-polynomials with a single delay
In this note the stability of a second-order quasi-polynomial with a single delay is studied. Although there is a vast literature on this problem, most available solutions are lim...
Efim Malakhovski, Leonid Mirkin
FAC
2008
92views more  FAC 2008»
15 years 6 months ago
Capture-avoiding substitution as a nominal algebra
Substitution is fundamental to the theory of logic and computation. Is substitution something that we define on syntax on a case-by-case basis, or can we turn the idea of substitut...
Murdoch James Gabbay, Aad Mathijssen
FUIN
2008
91views more  FUIN 2008»
15 years 6 months ago
A Deductive Proof System for Multithreaded Java with Exceptions
Abstract. Besides the features of a class-based object-oriented language, Java integrates concurrency via its thread-classes, allowing for a multithreaded flow of control. Besides ...
Erika Ábrahám, Frank S. de Boer, Wil...
CORR
2006
Springer
90views Education» more  CORR 2006»
15 years 6 months ago
A constructive and unifying framework for zero-bit watermarking
In the watermark detection scenario, also known as zero-bit watermarking, a watermark, carrying no hidden message, is inserted in a piece of content. The watermark detector checks ...
Teddy Furon