2169 search results - page 9 / 434 » A Comparative Study of Skin-Color Models |
JSS
1998
13 years 7 months ago
1998
The graphical formalism of Petri Nets (PNs) is established on a strong mathematical foundation that can be applied in systems speci®cation, analysis and veri®cation. However, cl...
FAC
2007
13 years 7 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
ECMDAFA
2005
Springer
14 years 28 days ago
2005
Springer
The application of MDA to Web services has recently received considerable attention. Similar to UML diagrams, Web services are specialised languages each one targeting a specific a...
CSMR
2009
IEEE
14 years 3 days ago
2009
IEEE
There is an increasing interest in more accurate prediction of software maintainability in order to better manage and control software maintenance. Recently, TreeNet has been prop...
LREC
2008
13 years 8 months ago
2008
In this paper we present two experiments conducted for comparison of different language identification algorithms. Short words-, frequent words- and n-gram-based approaches are co...