218 search results - page 16 / 44 » Concurrent simulation and optimization models for mining pla... |
CHARME
2001
Springer
15 years 1 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
103
click to vote
ROBOCUP
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Two main challenges of robot action planning in real domains are uncertain action effects and dynamic environments. In this paper, an instance-based action model is lear...
ISBI
2006
IEEE
15 years 10 months ago
2006
IEEE
A deformable registration method is proposed to register a brain atlas with tumor-bearing brain scans. The tumor mass effect is first simulated in the (normal) atlas, using a biom...
SIGKDD
2002
14 years 9 months ago
2002
In database marketing, data mining has been used extensively to find the optimal customer targets so as to maximize return on investment. In particular, using marketing campaign d...
ICRA
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract— Trajectory planning and optimization is a fundamental problem in articulated robotics. It is often viewed as a two phase problem of initial feasible path planning aroun...