1249 search results - page 177 / 250 » State Machine Modeling: From Synch States to Synchronized St... |
ATVA
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...
IJCV
2007
14 years 11 months ago
2007
We derive a family of kernels on dynamical systems by applying the Binet-Cauchy theorem to trajectories of states. Our derivation provides a unifying framework for all kernels on d...
JOIN
2006
14 years 11 months ago
2006
Reputation mechanisms for detecting and punishing free-riders in ad hoc networks depend on the local detection of selfish behavior. Although naive selfish strategies based on drop...
ICDM
2007
IEEE
15 years 6 months ago
2007
IEEE
We explore the problem of budgeted machine learning, in which the learning algorithm has free access to the training examples’ labels but has to pay for each attribute that is s...
ISOLA
2007
Springer
15 years 6 months ago
2007
Springer
The testing and formal verification of black box software components is a challenging domain. The problem is even harder when specifications of these components are not available...