8828 search results - page 355 / 1766 » Formal methods in practice |
166
click to vote
SNPD
2004
15 years 8 months ago
2004
A typical problem formal verification faces is the size of the model of a system being verified. Even for a small system, the state space of the model tends to grow exponentially (...
300
click to vote
GIS
2007
ACM
16 years 7 months ago
2007
ACM
This study investigates whether a fuzzy clustering method is of any practical value in delineating urban housing submarkets relative to clustering methods based on classic (or cri...
165
click to vote
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
Statistical voice conversion is very effective for enhancing body transmitted speech recorded with Non-Audible Murmur (NAM) microphone. In this method, a probabilistic model to co...
216
click to vote
APSEC
2001
IEEE
15 years 10 months ago
2001
IEEE
Program slicing has been used for efficient program debugging activities. Program slice is computed by analyzing dependence relations between program statements. We can divide dep...
165
Voted
CCGRID
2010
IEEE
15 years 8 months ago
2010
IEEE
Finite difference methods continue to provide an important and parallelisable approach to many numerical simulations problems. Iterative multigrid and multilevel algorithms can co...