3965 search results - page 171 / 793 » Effectivity of Regular Spaces |
198
click to vote
ENTCS
2002
15 years 6 months ago
2002
Walukiewicz gave in 1996 a solution for parity games on pushdown graphs: he proved the existence of pushdown strategies and determined the winner with an EXPTIME procedure. We giv...
175
click to vote
ICIP
2009
IEEE
16 years 7 months ago
2009
IEEE
Scale-space representation of an image is a significant way to generate features for classification. However, for a specific classification task, the entire scale-space may not be...
169
click to vote
ACSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
To protect privacy in large systems, users must be able to authenticate against a central server without disclosing their identity to the network. Private identification protocols ...
173
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
— During volume testing, test application time, test data volume and high performance automatic test equipment (ATE) are the major cost factors. Embedded testing including builti...
176
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—The actor programming model offers a promising model for developing reliable parallel and distributed code. Actors provide flexibility and scalability: local execution may be i...