3146 search results - page 346 / 630 » Efficient Consequence Finding |
111
click to vote
ACL
2010
15 years 2 months ago
2010
Letter-substitution ciphers encode a document from a known or hypothesized language into an unknown writing system or an unknown encoding of a known writing system. It is a proble...
ACL
2010
15 years 2 months ago
2010
Constructing an encoding of a concept lattice using short bit vectors allows for efficient computation of join operations on the lattice. Join is the central operation any unifica...
139
click to vote
ACL
2010
15 years 2 months ago
2010
Current turn-taking approaches for spoken dialogue systems rely on the speaker releasing the turn before the other can take it. This reliance results in restricted interactions th...
139
click to vote
BMVC
2010
15 years 2 months ago
2010
We present a novel off-line algorithm for target segmentation and tracking in video. In our approach, video data is represented by a multi-label Markov Random Field model, and seg...
130
click to vote
BPM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We propose a new technique to analyze the control-flow, i.e., the workflow graph of a business process model, which we call symbolic execution. We consider acyclic workfl...