2346 search results - page 243 / 470 » Hierarchical State Machines |
150
click to vote
ICAI
2009
15 years 4 months ago
2009
- We address the issues of improving the feature generation methods for the value-function approximation and the state space approximation. We focus the improvement of feature gene...
166
click to vote
VMCAI
2005
Springer
15 years 12 months ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
170
click to vote
ACSAC
2005
IEEE
16 years 4 days ago
2005
IEEE
As the number of system vulnerabilities multiplies in recent years, vulnerability assessment has emerged as a powerful system security administration tool that can identify vulner...
182
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Application of phenetic methods to gene expression analysis proved to be a successful approach. Visualizing the results in a 3-dimentional space may further enhance th...
129
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
The ground truth labeling of an image dataset is a task that often requires a large amount of human time and labor. We present an infrastructure for distributed human labeling tha...