1916 search results - page 228 / 384 » Reconfiguring a state machine |
CVPR
2007
IEEE
14 years 10 months ago
2007
IEEE
Many problems in vision involve the prediction of a class label for each frame in an unsegmented sequence. In this paper, we develop a discriminative framework for simultaneous se...
CSMR
2007
IEEE
14 years 2 months ago
2007
IEEE
Evolving software-intensive systems from one consistent state to another is a challenging activity due to the intricate inter-dependencies among the components. In this paper, we ...
TASE
2007
IEEE
14 years 2 months ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
GRID
2007
Springer
14 years 2 months ago
2007
Springer
—The functional heterogeneity of non-dedicated computational grids will increase with the inclusion of resources from desktop grids, P2P systems, and even mobile grids. Machine f...
KBSE
2000
IEEE
14 years 20 days ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...