2970 search results - page 358 / 594 » A Model for the Visualization Exploration Process |
152
click to vote
APN
2008
Springer
15 years 6 months ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
141
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
Gene regulatory networks (GRNs) are complex control systems that govern the interaction of genes, which ultimately control cellular processes at the protein level. GRNs can be ted...
156
click to vote
SPIN
2010
Springer
15 years 3 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...
132
click to vote
DAC
2003
ACM
16 years 5 months ago
2003
ACM
Bounded Model Checking (BMC) based on Boolean Satisfiability (SAT) procedures has recently gained popularity as an alternative to BDD-based model checking techniques for finding b...
157
click to vote
MICCAI
2007
Springer
16 years 5 months ago
2007
Springer
The thresholded t-map produced by the General Linear Model (GLM) gives an effective summary of activation patterns in functional brain images and is widely used for feature selecti...