908 search results - page 110 / 182 » Generating maximal models using the stable model semantics |
151
click to vote
UIC
2007
Springer
15 years 10 months ago
2007
Springer
Nowadays, e-learning systems are widely used for education and training in universities and companies because of their electronic course content access and virtual classroom partic...
155
click to vote
APGV
2006
ACM
15 years 10 months ago
2006
ACM
We present a system for realistic facial animation that decomposes facial motion capture data into semantically meaningful motion channels based on the Facial Action Coding System...
164
click to vote
HASKELL
2005
ACM
15 years 10 months ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
133
click to vote
CVPR
2007
IEEE
16 years 6 months ago
2007
IEEE
Clustering video sequences in order to infer and extract activities from a single video stream is an extremely important problem and has significant potential in video indexing, s...
170
click to vote
KDD
2012
ACM
13 years 6 months ago
2012
ACM
In this paper, we investigate a problem of predicting what images are likely to appear on the Web at a future time point, given a query word and a database of historical image str...