1223 search results - page 129 / 245 » Semantic Visualization and Meaning Computation |
119
Voted
ICPR
2006
IEEE
16 years 5 months ago
2006
IEEE
This paper presents an approach for indexing a large set of videos by considering the dynamic behaviour of local visual features along the sequences. The proposed concept is based...
113
Voted
COLING
2010
14 years 11 months ago
2010
LTP (Language Technology Platform) is an integrated Chinese processing platform which includes a suite of high performance natural language processing (NLP) modules and relevant c...
109
click to vote
TLCA
2005
Springer
15 years 9 months ago
2005
Springer
Proof animation is a way of executing proofs to nd errors in the formalization of proofs. It is intended to be \testing in proof engineering". Although the realizability inter...
110
click to vote
BIRTHDAY
2004
Springer
15 years 9 months ago
2004
Springer
A long-standing complaint about the theory of CSP has been that all theories which encompass divergence are divergence-strict, meaning that nothing beyond the first divergence ca...
110
Voted
FLAIRS
2001
15 years 5 months ago
2001
A maximal prime subgraph decomposition junction tree (MPD-JT) is a useful computational structure that facilitates lazy propagation in Bayesian networks (BNs). A graphical method ...