5398 search results - page 675 / 1080 » Markov Face Models |
229
click to vote
AISM
2004
15 years 5 months ago
2004
Electronic communications have become the most important kind of communications in business. However, trust, privacy and security have become the great challenges for business and...
120
click to vote
WCE
2007
15 years 5 months ago
2007
Staff attrition is a problem often faced by software development organizations. We used process modeling and simulation to estimate the effect of different staffing policies on th...
108
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
In the context of the current financial crisis, when more companies are facing bankruptcy or insolvency, the paper aims to find methods to identify distressed firms by using finan...
111
Voted
CORR
2008
Springer
15 years 4 months ago
2008
Springer
This paper presents a formalized proof of a discrete form of the Jordan Curve Theorem. It is based on a hypermap model of planar subdivisions, formal specifications and proofs assi...
149
Voted
FUIN
2008
15 years 4 months ago
2008
The aim of the work is twofold. In order to face the problem of modeling time constraints in Promela, a timed extension of the language is presented. Next, timed Promela is transla...