17450 search results - page 345 / 3490 » Numerical Methods with Applications |
124
Voted
COMPSAC
1997
IEEE
15 years 8 months ago
1997
IEEE
Formal methods are used in a surprisingly wide variety of applications and ways throughout the world. While they may still’be considered a niche market, there is growing evidenc...
149
click to vote
AUSAI
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. One of the key applications of microarray studies is to select and classify gene expression profiles of cancer and normal subjects. In this study, two hybrid approaches
109
click to vote
CCCG
2001
15 years 6 months ago
2001
This paper is concerned with applications of Tutte's barycentric embedding theorem (Proc. London Math. Soc. 13 (1963), 743
111
click to vote
AMAI
2006
Springer
15 years 4 months ago
2006
Springer
We expand the applicability of the clausal resolution technique to the branching-time temporal logic ECTL
137
click to vote
PRL
2000
15 years 4 months ago
2000
Automatic detection of human faces is one of the most dicult problems in pattern recognition. In many practical applications (e.g. personal identi