6329 search results - page 226 / 1266 » Detection of Stochastic Processes |
148
click to vote
ATVA
2009
Springer
16 years 4 days ago
2009
Springer
Abstract. We present a new method for fighting the state space explosion of process algebraic specifications, by performing static analysis on an intermediate format: linear proc...
187
click to vote
ICASSP
2007
IEEE
15 years 12 months ago
2007
IEEE
Estimation of DNA copy number in a given biological sample is an extremely important problem in genomics. This problem is especially challenging when the number of the DNA strands...
143
click to vote
HICSS
2006
IEEE
15 years 11 months ago
2006
IEEE
Networks of sensors arise naturally in many different fields, from industrial applications (e.g., monitoring of environmental parameters in a chemical plant) to surveillance appl...
176
click to vote
QSIC
2005
IEEE
15 years 11 months ago
2005
IEEE
We propose a software requirements analysis method based on domain ontology technique, where we can establish a mapping between a software requirements specification and the doma...
181
click to vote
ISSRE
2003
IEEE
15 years 10 months ago
2003
IEEE
Software development project employs some Quality Control (QC) process to detect and remove defects. The final quality of the delivered software depends on the effort spent on al...