2296 search results - page 214 / 460 » The Expressive Power of Synchronizations |
165
click to vote
CSL
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Expansions of the natural number ordering by unary predicates are studied, using logics which in expressive power are located between first-order and monadic second-order...
191
click to vote
COOPIS
2000
IEEE
15 years 10 months ago
2000
IEEE
The focus of traditional workflow management systems is on control flow within one process definition, that describes how a single case (i.e., workflow instance) is handled in isol...
153
click to vote
ESOP
2000
Springer
15 years 10 months ago
2000
Springer
In order to deal efficiently with infinite regular trees (or other pointed graph structures), we give new algorithms to store such structures. The trees are stored in such a way th...
155
click to vote
DASFAA
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract. In this paper, we present a theoretical foundation for querying inductive databases, which can accommodate disparate mining tasks. We present a data mining algebra includ...
149
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
— This article studies the robust tracking control problem in nonminimum phase DC-DC nonlinear switched power converters. The proposed procedure introduces a stable inversion-bas...