Sciweavers

2632 search results - page 229 / 527
» Alternating Timed Automata
Sort
View
CSDA
2008
68views more  CSDA 2008»
15 years 4 months ago
Modelling the US, UK and Japanese unemployment rates: Fractional integration and structural breaks
In this paper we use a general procedure for fractional integration and structural breaks at unknown points in time, which allows for different orders of integration and determini...
Guglielmo Maria Caporale, Luis A. Gil-Alana
ENTCS
2006
136views more  ENTCS 2006»
15 years 4 months ago
Automated Game Analysis via Probabilistic Model Checking: a case study
It has been recognised for some time that there are close links between the various logics developed for the analysis of multi-agent systems and the many game-theoretic models dev...
Paolo Ballarini, Michael Fisher, Michael Wooldridg...
JEC
2006
107views more  JEC 2006»
15 years 4 months ago
A dynamically reconfigurable cache for multithreaded processors
Chip multi-processors (CMP) are rapidly emerging as an important design paradigm for both high performance and embedded processors. These machines provide an important performance...
Alex Settle, Dan Connors, Enric Gibert, Antonio Go...
SIGIR
2008
ACM
15 years 4 months ago
Emulating query-biased summaries using document titles
Generating query-biased summaries can take up a large part of the response time of interactive information retrieval (IIR) systems. This paper proposes to use document titles as a...
Hideo Joho, David Hannah, Joemon M. Jose
CC
2005
Springer
118views System Software» more  CC 2005»
15 years 4 months ago
The complexity of constructing pseudorandom generators from hard functions
We study the complexity of constructing pseudorandom generators (PRGs) from hard functions, focussing on constant-depth circuits. We show that, starting from a function f : {0, 1}l...
Emanuele Viola