1755 search results - page 198 / 351 » An efficient simulation algorithm based on abstract interpre... |
148
Voted
AMDO
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. In this paper we propose an original approach to solve the Inverse Kinematics problem. Our framework is based on Sequential Monte Carlo Methods and has the advantage to a...
129
Voted
PDPTA
2000
15 years 4 months ago
2000
Abstract We describe an event-based, publishand-subscribe system based on using "smart subscriptions" to recognize weakly structured events. We present a hierarchy of sub...
118
click to vote
COMPUTING
2006
15 years 3 months ago
2006
Abstract We are dealing with the optimal, i.e. densest packings of congruent circles into the unit square. In the recent years we have built a numerically reliable, verified method...
123
Voted
IJFCS
2006
15 years 3 months ago
2006
Abstract. For certain problems (for example, computing repetitions and repeats, data compression applications) it is not necessary that the suffixes of a string represented in a su...
132
Voted
JSCIC
2008
2008
Mathematical and Numerical Aspects of a Phase-field Approach to Critical Nuclei Morphology in Solids
15 years 3 months ago
Abstract We investigate a phase-field model for homogeneous nucleation and critical nucleus morphology in solids. We analyze the mathematical properties of a free energy functional...