1052 search results - page 81 / 211 » The Regular Real-Time Languages |
155
click to vote
IJPP
2011
15 years 29 days 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...
157
click to vote
FMCAD
2008
Springer
15 years 7 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...
168
Voted
XSYM
2005
Springer
15 years 11 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...
165
click to vote
SODA
2001
ACM
15 years 7 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...
182
click to vote
JMLR
2012
13 years 8 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...