2296 search results - page 136 / 460 » The Expressive Power of Synchronizations |
115
Voted
AMAI
2004
Springer
15 years 10 months ago
2004
Springer
This work introduces a new query inference model that can access data and communicate with a teacher by asking finitely many boolean queries in a language L. In this model the pa...
133
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
—In this paper, the performance of signaling strategies with high peak-to-average power ratio is analyzed in both coherent and noncoherent fading channels. Two modulation schemes...
144
click to vote
CONCUR
2004
Springer
15 years 10 months ago
2004
Springer
We describe the expressive power of temporal branching time logics that use the modalities EX and EF. We give a forbidden pattern characterization of the tree languages definable...
155
click to vote
LPKR
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. This paper presents an extension of disjunctive datalog (Datalog∨ ) by nested rules. Nested rules are (disjunctive) rules where elements of the head may be also rules. ...
100
click to vote
PNPM
1989
15 years 8 months ago
1989
We present SPNP, a powerful GSPN package developed at Duke University. SPNP allows the modeling of complex system behaviors. Advanced constructs are available, such as markingdepe...