860 search results - page 171 / 172 » A Process Algebra Based Verification of a Production System |
NAACL
2003
13 years 7 months ago
2003
It is well known that frame independence assumption is a fundamental limitation of current HMM based speech recognition systems. By treating each speech frame independently, HMMs ...
SIGMETRICS
2010
ACM
13 years 11 months ago
2010
ACM
Perhaps surprisingly, no practical performance models exist for popular (and complex) client applications such as Adobe’s Creative Suite, Microsoft’s Office and Visual Studio...
AGENTS
2001
Springer
13 years 10 months ago
2001
Springer
Matchmaking is the process of mediating demand and supply based on profile information. Matchmaking plays a crucial role in agent-based electronic marketplaces: the problem to be ...
BMCBI
2005
13 years 6 months ago
2005
Background: Neoplastic transformation is a multistep process in which distinct gene products of specific cell regulatory pathways are involved at each stage. Identification of ove...
DATE
2007
IEEE
14 years 18 days ago
2007
IEEE
Error-tolerance is an innovative way to enhance the effective yield of IC products. Previously a test methodology based on error-rate estimation to support error-tolerance was pro...