1128 search results - page 154 / 226 » Classical Natural Deduction |
106
Voted
ICMI
2004
Springer
15 years 6 months ago
2004
Springer
In this paper, we adopt a direct modeling approach to utilize conversational gesture cues in detecting sentence boundaries, called SUs, in video taped conversations. We treat the ...
94
Voted
ISAAC
2004
Springer
15 years 6 months ago
2004
Springer
Assuming 3-SAT formulas are hard to refute with high probability, Feige showed approximation hardness results, among others for the max bipartite clique. We extend this result in t...
131
click to vote
KDD
2004
ACM
15 years 6 months ago
2004
ACM
Semantic understanding of multimedia content is critical in enabling effective access to all forms of digital media data. By making large media repositories searchable, semantic ...
106
Voted
STACS
2004
Springer
15 years 6 months ago
2004
Springer
Motivated by problems of pattern statistics, we study the limit distribution of the random variable counting the number of occurrences of the symbol a in a word of length n chosen...
95
Voted
VLDB
2004
ACM
15 years 6 months ago
2004
ACM
1 Frequent itemset counting is the first step for most association rule algorithms and some classification algorithms. It is the process of counting the number of occurrences of ...