4650 search results - page 371 / 930 » Generating and evaluating evaluative arguments |
246
click to vote
PADL
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. Modern web forms interact with the user in real-time by detecting errors and filling-in implied values, which in terms of automated reasoning amounts to SAT solving and ...
246
click to vote
TMA
2012
Springer
14 years 3 months ago
2012
Springer
Web browsing is a very common way of using the Internet to, among others, read news, do on-line shopping, or search for user generated content such as YouTube or Dailymotion. Tradi...
195
click to vote
ICIP
2008
IEEE
16 years 9 months ago
2008
IEEE
This paper describes the design procedure followed to generate a ground truth for the evaluation of motion-based algorithms for video-object segmentation. A thorough review and cl...
194
click to vote
FCCM
2009
IEEE
16 years 2 months ago
2009
IEEE
Although soft microprocessors are widely used in FPGAs, limited work has been performed regarding how to automatically and efficiently generate soft multiprocessors. In this paper...
226
click to vote
ISVC
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. In this work, synthesis of facial animation is done by modelling the mapping between facial motion and speech using the shared Gaussian process latent variable model. Bot...