3991 search results - page 29 / 799 » Bounding homogeneous models |
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
Most current crowd simulators animate homogeneous crowds, but include underlying parameters that can be tuned to create variations within the crowd. These parameters, however, are...
IMCSIT
2010
13 years 2 months ago
2010
In this article we intend to present a method of obtaining high complexity sinthetic scenes by using simple volumes as the building blocks. The below described method can be used t...
MP
2002
13 years 7 months ago
2002
The bounded multiple-class binary knapsack problem is a variant of the knapsack problem where the items are partitioned into classes and the item weights in each class are a multip...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
We present a method for the removal of noise including nonGaussian impulses from a signal. Impulse noise is removed jointly a homogenous Gaussian noise floor using a Gabor regres...
LPNMR
2001
Springer
14 years 6 days ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. As the model of asynchronous syst...