6757 search results - page 359 / 1352 » Knowledge Analysis on Process Models |
154
click to vote
ICA
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. In this paper we examine how the activation of one independent component analysis (ICA) feature changes first and second order statistics of other independent components...
163
click to vote
WSC
2007
15 years 9 months ago
2007
Machine failure is often an important factor in throughput of manufacturing systems. To simplify the inputs to the simulation model for complex machining and assembly lines, we ha...
204
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
197
click to vote
SOFSEM
2007
Springer
16 years 25 days ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
200
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Modern omics research involves the application of high-throughput technologies that generate vast volumes of data. These data need to be pre-processed, analyzed and in...