2273 search results - page 304 / 455 » On the Expressiveness and Complexity of ATL |
ADAEUROPE
2007
Springer
15 years 4 months ago
2007
Springer
When developing concurrent software, a proper engineering practice is to choose a good level of abstraction for expressing concurrency control. Ideally, this level should provide p...
COLT
2007
Springer
15 years 4 months ago
2007
Springer
In the multi-view regression problem, we have a regression problem where the input variable (which is a real vector) can be partitioned into two different views, where it is assum...
CSR
2007
Springer
15 years 4 months ago
2007
Springer
Traditionally, data that has both linear and hierarchical structure, such as annotated linguistic data, is modeled using ordered trees and queried using tree automata. In this pap...
EUROCRYPT
2007
Springer
15 years 4 months ago
2007
Springer
sion of an extended abstract to be published in Advances in Cryptology—EUROCRYPT 2007, Springer-Verlag, 2007. Available online from the IACR Cryptology ePrint Archive as Report 2...
FMCAD
2007
Springer
15 years 4 months ago
2007
Springer
Abstract— The relationship between changes in gene expression and physical characteristics associated with Down syndrome is not well understood. Chromosome 21 genes interact with...