2346 search results - page 243 / 470 » Hierarchical State Machines |
172
click to vote
ICAI
2009
15 years 5 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...
191
click to vote
VMCAI
2005
Springer
16 years 21 days 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...
196
click to vote
ACSAC
2005
IEEE
16 years 26 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...
201
click to vote
BMCBI
2006
15 years 7 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...
148
click to vote
ICCV
2007
IEEE
16 years 9 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...