1753 search results - page 171 / 351 » State Machines |
142
click to vote
ISSTA
2004
ACM
15 years 10 months ago
2004
ACM
This paper deals with testing of nondeterministic software systems. We assume that a model of the nondeterministic system is given by a directed graph with two kind of vertices: s...
107
click to vote
ICCV
2007
IEEE
16 years 6 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...
158
click to vote
ICML
2009
IEEE
16 years 5 months ago
2009
IEEE
In a dynamic social or biological environment, interactions between the underlying actors can undergo large and systematic changes. Each actor can assume multiple roles and their ...
149
click to vote
ICML
2009
IEEE
16 years 5 months ago
2009
IEEE
In this paper, we extend the Hilbert space embedding approach to handle conditional distributions. We derive a kernel estimate for the conditional embedding, and show its connecti...
137
click to vote
ICML
2009
IEEE
16 years 5 months ago
2009
IEEE
Given a model family and a set of unlabeled examples, one could either label specific examples or state general constraints--both provide information about the desired model. In g...