6020 search results - page 671 / 1204 » A New Approach to Model Counting |
228
click to vote
COSIT
2007
Springer
15 years 11 months ago
2007
Springer
Consistent and flawless communication between humans and machines is the precondition for a computer to process instructions correctly. While machines use well-defined languages an...
189
click to vote
ECSQARU
2009
Springer
15 years 11 months ago
2009
Springer
Fuzzy vectors were introduced as a description of imprecise quantities whose uncertainty originates from vagueness, not from a probabilistic model. Support functions are a classica...
201
click to vote
FSTTCS
2006
Springer
15 years 11 months ago
2006
Springer
We propose a new approach to verification of probabilistic processes for which the model may not be available. We use a technique from Reinforcement Learning to approximate how far...
204
click to vote
ISER
1995
Springer
15 years 11 months ago
1995
Springer
We review the current state of research in autonomous mobile robots and conclude that there is an inadequate basis for predicting the reliability and behavior of robots operating ...
252
click to vote
ACL
2006
15 years 9 months ago
2006
We present a new semi-supervised training procedure for conditional random fields (CRFs) that can be used to train sequence segmentors and labelers from a combination of labeled a...