Results 1  10
of
28,159
Symbolic Verification with Periodic Sets
, 1994
"... Symbolic approaches attack the state explosion problem by introducing implicit representations that allow the simultaneous manipulation of large sets of states. The most commonly used representation in this context is the Binary Decision Diagram (BDD). This paper takes the point of view that other s ..."
Abstract

Cited by 76 (6 self)
 Add to MetaCart
structures than BDD's can be useful for representing sets of values, and that combining implicit and explicit representations can be fruitful. It introduces a representation of complex periodic sets of integer values, shows how this representation can be manipulated, and describes its application
Periodic Sets of Integers
 Theoretical Computer Science
, 1994
"... Consider the following kinds of sets { the set of all possible distances between two vertices of a directed graph. { any set of integers that is either nite or periodic for all n greater or equal to some n0 (such a set is called ultimately periodic). { a context free language over an alphabet wit ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
Consider the following kinds of sets { the set of all possible distances between two vertices of a directed graph. { any set of integers that is either nite or periodic for all n greater or equal to some n0 (such a set is called ultimately periodic). { a context free language over an alphabet
Wavelet deconvolution in a periodic setting
 Journal of the Royal Statistical Society, Series B
, 2004
"... In this paper, we present an inverse estimation procedure which combines Fourier analysis with wavelet expansion. In the periodic setting, our method can recover a blurred function observed in white noise. The blurring process is achieved through a convolution operator which can either be smooth (po ..."
Abstract

Cited by 44 (4 self)
 Add to MetaCart
In this paper, we present an inverse estimation procedure which combines Fourier analysis with wavelet expansion. In the periodic setting, our method can recover a blurred function observed in white noise. The blurring process is achieved through a convolution operator which can either be smooth
Analytic varieties as limit periodic sets
"... Let f(x, y) 6 ≡ 0 be a realanalytic planar function. We show that, for almost every R> 0 there exists an analytic 1parameter family of vector fields Xλ which has {f(x, y) = 0} ∩ BR ((0, 0)) as a limit periodic set. Furthermore, we show that if f(x, y) is polynomial, then there exists a polynom ..."
Abstract
 Add to MetaCart
Let f(x, y) 6 ≡ 0 be a realanalytic planar function. We show that, for almost every R> 0 there exists an analytic 1parameter family of vector fields Xλ which has {f(x, y) = 0} ∩ BR ((0, 0)) as a limit periodic set. Furthermore, we show that if f(x, y) is polynomial, then there exists a
COEFFICIENTS IN THE PERIODIC AND QUASIPERIODIC SETTINGS
"... (Communicated by Andrea Braides) Abstract. In quasiperiodic homogenization of elliptic equations or nonlinear periodic homogenization of systems, the cell problem must be in general set on the whole space. Numerically computing the homogenization coefficient therefore implies a truncation error, d ..."
Abstract
 Add to MetaCart
(Communicated by Andrea Braides) Abstract. In quasiperiodic homogenization of elliptic equations or nonlinear periodic homogenization of systems, the cell problem must be in general set on the whole space. Numerically computing the homogenization coefficient therefore implies a truncation error
Simultaneous Wavelet Deconvolution in Periodic Setting
"... ABSTRACT. The paper proposes a method of deconvolution in a periodic setting which combines two important ideas, the fast wavelet and Fourier transformbased estimation procedure of Johnstone et al.[J. Roy. Statist. Soc. Ser. B 66 (2004) 547] and the multichannel system technique proposed by Casey a ..."
Abstract

Cited by 9 (5 self)
 Add to MetaCart
ABSTRACT. The paper proposes a method of deconvolution in a periodic setting which combines two important ideas, the fast wavelet and Fourier transformbased estimation procedure of Johnstone et al.[J. Roy. Statist. Soc. Ser. B 66 (2004) 547] and the multichannel system technique proposed by Casey
Between MDPs and SemiMDPs: A Framework for Temporal Abstraction in Reinforcement Learning
, 1999
"... Learning, planning, and representing knowledge at multiple levels of temporal abstraction are key, longstanding challenges for AI. In this paper we consider how these challenges can be addressed within the mathematical framework of reinforcement learning and Markov decision processes (MDPs). We exte ..."
Abstract

Cited by 569 (38 self)
 Add to MetaCart
extend the usual notion of action in this framework to include optionsclosedloop policies for taking action over a period of time. Examples of options include picking up an object, going to lunch, and traveling to a distant city, as well as primitive actions such as muscle twitches and joint knowledge
Word and object
, 1960
"... perform a clinicopathological study of patients having renal biopsies after liver transplantation. Design Case series. Setting Queen Mary Hospital, Hong Kong. Patients All post–liver transplantation patients who had a renal biopsy in the period from January 2000 to December 2010. Results Eleven rena ..."
Abstract

Cited by 1203 (0 self)
 Add to MetaCart
perform a clinicopathological study of patients having renal biopsies after liver transplantation. Design Case series. Setting Queen Mary Hospital, Hong Kong. Patients All post–liver transplantation patients who had a renal biopsy in the period from January 2000 to December 2010. Results Eleven
Generating Representative Web Workloads for Network and Server Performance Evaluation
, 1997
"... One role for workload generation is as a means for understanding how servers and networks respond to variation in load. This enables management and capacity planning based on current and projected usage. This paper applies a number of observations of Web server usage to create a realistic Web worklo ..."
Abstract

Cited by 944 (11 self)
 Add to MetaCart
references; 5) temporal locality of reference; and 6) idle periods of individual users. This paper reviews the essential elements required in the generation of a representative Web workload. It also addresses the technical challenges to satisfying this large set of simultaneous constraints on the properties
USER ACCEPTANCE OF INFORMATION TECHNOLOGY: TOWARD A UNIFIED VIEW
, 2003
"... Information technology (IT) acceptance research has yielded many competing models, each with different sets of acceptance determinants. In this paper, we (1) review user acceptance literature and discuss eight prominent models, (2) empirically compare the eight models and their extensions, (3) formu ..."
Abstract

Cited by 1807 (10 self)
 Add to MetaCart
Information technology (IT) acceptance research has yielded many competing models, each with different sets of acceptance determinants. In this paper, we (1) review user acceptance literature and discuss eight prominent models, (2) empirically compare the eight models and their extensions, (3
Results 1  10
of
28,159