3495 search results - page 75 / 699 » On the random satisfiable process |
155
Voted
PTS
2010
14 years 10 months ago
2010
We present a novel algorithm for test data generation that is based on techniques used in formal software verification. Prominent examples of such formal techniques are symbolic ex...
ICIP
2005
IEEE
16 years 2 months ago
2005
IEEE
Markov random field (MRF) theory has widely been applied to segmentation in noisy images. This paper proposes a new MRF method. First, it couples the original labeling MRF with a ...
155
Voted
IJCNLP
2005
Springer
15 years 6 months ago
2005
Springer
We present a method of chunking in Korean texts using conditional random fields (CRFs), a recently introduced probabilistic model for labeling and segmenting sequence of data. In a...
113
click to vote
CHI
1997
ACM
15 years 5 months ago
1997
ACM
To understand how people search for a known target item in an unordered pull-down menu, this research presents cognitive models that vary serial versus parallel processing of menu...
91
Voted
ICIP
2010
IEEE
14 years 10 months ago
2010
IEEE
Random forests ensemble classifier showed to be suitable for classifying mutlisource data such as lidar and RGB image for urban scene mapping. However, two major problems remain :...