Sciweavers

915 search results - page 135 / 183
» Interaction between Objects in powerJava
Sort
View
CEC
2008
IEEE
14 years 1 months ago
Multilevel cooperative coevolution for large scale optimization
In this paper, we propose a multilevel cooperative coevolution (MLCC) framework for large scale optimization problems. The motivation is to improve our previous work on grouping ba...
Zhenyu Yang, Ke Tang, Xin Yao
DOLAP
2005
ACM
14 years 28 days ago
Towards a spatial multidimensional model
Data warehouses and OLAP systems help to interactively analyze huge volume of data. This data, extracted from transactional databases, frequently contains spatial information whic...
Sandro Bimonte, Anne Tchounikine, Maryvonne Miquel
NIPS
2000
14 years 10 days ago
Machine Learning for Video-Based Rendering
We present techniques for rendering and animation of realistic scenes by analyzing and training on short video sequences. This work extends the new paradigm for computer animation...
Arno Schödl, Irfan A. Essa
CAD
2008
Springer
13 years 11 months ago
Geometrically exact dynamic splines
In this paper, we propose a complete model handling the physical simulation of deformable 1D objects. We formulate continuous expressions for stretching, bending and twisting ener...
Adrien Theetten, Laurent Grisoni, Claude Andriot, ...
ENTCS
2006
125views more  ENTCS 2006»
13 years 11 months ago
An Even Closer Integration of Linear Arithmetic into Inductive Theorem Proving
To broaden the scope of decision procedures for linear arithmetic, they have to be integrated into theorem provers. Successful approaches e.g. in NQTHM or ACL2 suggest a close int...
Tobias Schmidt-Samoa