2954 search results - page 32 / 591 » Beyond |
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
CSL
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. One-counter processes are pushdown processes over a singleton stack alphabet (plus a stack-bottom symbol). We study the problems of model checking asynchronous products o...
EMISA
2009
Springer
14 years 3 months ago
2009
Springer
: This keynote reports on a new class of processes - so called fluid processes - whose ”engineering” and ”use” is indistinguishable. Fluid processes are continually being ...
GECCO
2009
Springer
14 years 3 months ago
2009
Springer
ICB
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Fingerprints are considered to be unique because they contain various distinctive features, including minutiae, ridges, pores, etc. Some attempts have been made to model ...