1992 search results - page 343 / 399 » Model Based Testing with Labelled Transition Systems |
141
click to vote
IJCV
2007
15 years 2 months ago
2007
We address the problem of localizing and obtaining high-resolution footage of the people present in a scene. We propose a biologically-inspired solution combining pre-attentive, lo...
142
Voted
ANLP
1994
15 years 3 months ago
1994
FoG currently produces bilingual marine and public weather forecasts at several Canadian weather offices. The system is engineered to reflect "good professional style" a...
124
click to vote
ICMCS
2006
IEEE
15 years 8 months ago
2006
IEEE
Multimodal speech and speaker modeling and recognition are widely accepted as vital aspects of state of the art human-machine interaction systems. While correlations between speec...
129
click to vote
NIPS
1998
15 years 3 months ago
1998
We introduce a semi-supervised support vector machine (S3 VM) method. Given a training set of labeled data and a working set of unlabeled data, S3 VM constructs a support vector m...
116
click to vote
STOC
1997
ACM
15 years 6 months ago
1997
ACM
For a large class of examples arising in statistical physics known as attractive spin systems (e.g., the Ising model), one seeks to sample from a probability distribution π on an...