7554 search results - page 1278 / 1511 » Process Diagnostics: A Method Based on Process Mining |
137
click to vote
IAJIT
2010
15 years 5 months ago
2010
: Power amplifiers are essential components in communication systems and are inherently nonlinear. The nonlinearity creates spectral growth beyond the signal bandwidth, which inter...
196
click to vote
IJBRA
2010
15 years 5 months ago
2010
—We aim to determine the biological relevance of genes identified through microarray-mediated transcriptional profiling of Xenopus sensory organs and brain tissue. Genetic data...
228
click to vote
SMI
2010
IEEE
15 years 4 months ago
2010
IEEE
—This paper presents a new technique for detecting sharp features on point-sampled geometry. Sharp features of different nature and possessing angles varying from obtuse to acute...
183
click to vote
SPIN
2010
Springer
15 years 4 months ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...
218
click to vote
FORMATS
2010
Springer
15 years 4 months ago
2010
Springer
We present a general approach to combine symbolic state space representations for the discrete and continuous parts in the synthesis of winning strategies for timed reachability ga...