Sciweavers

7380 search results - page 373 / 1476
» time 2008
Sort
View
CSDA
2006
155views more  CSDA 2006»
15 years 6 months ago
Modelling the mean of a doubly stochastic Poisson process by functional data analysis
A new procedure for estimating the mean process of a doubly stochastic Poisson process is introduced. The proposed estimation is based on monotone piecewise cubic interpolation of...
P. R. Bouzas, Mariano J. Valderrama, Ana M. Aguile...
162
Voted
DAM
2006
97views more  DAM 2006»
15 years 6 months ago
Fully dynamic recognition algorithm and certificate for directed cographs
This paper presents an optimal fully dynamic recognition algorithm for directed cographs. Given the modular decomposition tree of a directed cograph G, the algorithm supports arc ...
Christophe Crespelle, Christophe Paul
IEICET
2008
84views more  IEICET 2008»
15 years 6 months ago
Factorization of Square-Free Integers with High Bits Known
Abstract. In this paper we propose an algorithm of factoring any integer N which has k different prime factors with the same bit-length, when ( 1 k+2 + k(k-1) ) log N high-order bi...
Bagus Santoso, Noboru Kunihiro, Naoki Kanayama, Ka...
IGPL
2008
103views more  IGPL 2008»
15 years 6 months ago
Transition Logic Revisited
A new version of transition logic is presented. It integrates (dynamic) transitions, which change world states, and classical (static) reasoning, restricted in the paper to Horn l...
Wolfgang Bibel
IJACT
2008
102views more  IJACT 2008»
15 years 6 months ago
An optimistic fair exchange protocol and its security in the universal composability framework
: Fair exchange protocols allow both or neither of two parties to obtain the other's items, and this property is essential in e-commerce. In this paper, we construct an optimi...
Yusuke Okada, Yoshifumi Manabe, Tatsuaki Okamoto