2273 search results - page 156 / 455 » On the Expressiveness and Complexity of ATL |
123
click to vote
BTW
1993
Springer
15 years 2 months ago
1993
Springer
It is clearly crucial for the success of object-oriented databases to find effiĆ cient implementations that improve on the performance of relational sysĆ tems, rather than being...
ACNS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Membership queries are basic predicate operations that apply to datasets. Quantifications of such queries express global properties between datasets, including subset inc...
65
Voted
ARTS
1997
Springer
15 years 1 months ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...
173
Voted
ICDE
2008
IEEE
15 years 11 months ago
2008
IEEE
Complex event patterns involving Kleene closure are finding application in a variety of stream environments for tracking and monitoring purposes. In this paper, we propose a compac...
ICML
2007
IEEE
15 years 11 months ago
2007
IEEE
The Gaussian process latent variable model (GP-LVM) is a powerful approach for probabilistic modelling of high dimensional data through dimensional reduction. In this paper we ext...