1052 search results - page 81 / 211 » The Regular Real-Time Languages |
122
Voted
IJPP
2011
14 years 10 months ago
2011
Data-parallel accelerator devices such as Graphical Processing Units (GPUs) are providing dramatic performance improvements over even multicore CPUs for lattice-oriented applicatio...
127
Voted
FMCAD
2008
Springer
15 years 5 months ago
2008
Springer
The semantics of temporal logic is usually defined with respect to a word representing a computation path over a set of atomic propositions. A temporal logic formula does not contr...
132
Voted
XSYM
2005
Springer
15 years 9 months ago
2005
Springer
Among various proposals for primitives for deconstructing XML data two approaches seem to clearly stem from practise: path expressions, widely adopted by the database community, an...
133
Voted
SODA
2001
ACM
15 years 5 months ago
2001
ACM
We explore the natural question of whether all NP-complete problems have a common restriction under which they are polynomially solvable. More precisely, we study what languages a...
149
Voted
JMLR
2012
13 years 6 months ago
2012
We present a minimax framework for classification that considers stochastic adversarial perturbations to the training data. We show that for binary classification it is equivale...