2632 search results - page 129 / 527 » Alternating Timed Automata |
120
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Abstract The class of ω-regular languages provide a robust specification language in verification. Every ω-regular condition can be decomposed into a safety part and a liveness...
117
click to vote
MOR
2006
15 years 3 months ago
2006
We describe an extension procedure for constructing new standardized time series procedures from existing ones. The approach is based on averaging over sample paths obtained by per...
129
click to vote
QUESTA
2007
15 years 2 months ago
2007
We consider an extension of the standard G/G/1 queue, described by the equation W D = max{0, B − A + Y W}, where P[Y = 1] = p and P[Y = −1] = 1 − p. For p = 1 this model red...
137
Voted
IJCAI
1989
15 years 4 months ago
1989
We consider the role played by the concept of action in AI. We first briefly summarize the advantages and limitations of past approaches to taking the concept as primitive, as emb...
134
Voted
IJCNN
2008
IEEE
15 years 10 months ago
2008
IEEE
— Effective use of support vector machines (SVMs) in classification necessitates the appropriate choice of a kernel. Designing problem specific kernels involves the definition...