505 search results - page 33 / 101 » Global Model Checking of Ordered Multi-Pushdown Systems |
122
click to vote
ACII
2005
Springer
15 years 5 months ago
2005
Springer
In this paper, we present a face alignment system to deal with various poses and expressions. In addition to global shape model, we use component shape model such as mouth shape mo...
103
click to vote
FMICS
2009
Springer
15 years 6 months ago
2009
Springer
Cell libraries often contain a simulation model in a system design language, such as Verilog. These languages usually involve nondeterminism, which in turn, poses a challenge to th...
ICLP
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Service and process-oriented systems promise to provide more effective business and work processes and more flexible and adaptable enterprise IT systems. However, the t...
SSS
2009
Springer
15 years 4 months ago
2009
Springer
Self-stabilization is an elegant way of realizing non-masking fault-tolerant systems. Sustained research over last decades has produced multiple self-stabilizing algorithms for man...
MVA
1994
15 years 1 months ago
1994
The visual perceptional ability of computer systems to understand the environment is desirable in engineering design and manufacturing where automation is anticipated. I n order t...