2954 search results - page 32 / 591 » Beyond |
62
Voted
ATAL
2009
Springer
15 years 9 months ago
2009
Springer
127
Voted
CSL
2009
Springer
15 years 9 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...
111
click to vote
EMISA
2009
Springer
15 years 9 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
15 years 9 months ago
2009
Springer
130
Voted
ICB
2009
Springer
15 years 9 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 ...