Sciweavers

620 search results - page 52 / 124
» Likelihood Computations Using Value Abstraction
Sort
View
ACCV
2010
Springer
13 years 5 months ago
Social Interactive Human Video Synthesis
In this paper, we propose a computational model for social interaction between three people in a conversation, and demonstrate results using human video motion synthesis. We utilis...
Dumebi Okwechime, Eng-Jon Ong, Andrew Gilbert, Ric...
FIDJI
2003
Springer
14 years 3 months ago
Model Generation for Distributed Java Programs
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...
Rabéa Boulifa, Eric Madelaine
EUSFLAT
2007
13 years 11 months ago
Using Generalized Constraints and Protoforms to Deal with Adverbs
Computation with information described in natural language (NL) has intrinsic importance because much of human knowledge is described using these languages. Soft Computing approac...
Andrés Soto, José Angel Olivas, Manu...
RTAS
2005
IEEE
14 years 3 months ago
Out-of-Norm Assertions
Abstract— The increasing use of electronics in transport systems, such as the automotive and avionic domain, has lead to dramatic improvements with respect to functionality, safe...
Philipp Peti, Roman Obermaisser, Hermann Kopetz
SCALESPACE
2009
Springer
14 years 4 months ago
Image Denoising Using TV-Stokes Equation with an Orientation-Matching Minimization
Abstract. In this paper, we propose an orientation-matching minimization for denoising digital images with an additive noise. Inspired by the two-step algorithm in the TV-Stokes de...
Xue-Cheng Tai, Sofia Borok, Jooyoung Hahn