| Budget Amount *help |
¥4,160,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥960,000)
Fiscal Year 2011: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2010: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2009: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
|
|---|
| Research Abstract |
We developed constraint programming technology for modeling, simulation, and reasoning of systems. Our main contribution is that we formulated probabilistic constraint satisfaction problems as a framework for modeling probabilistic systems and also presented a technique for statistically analyzing their properties. We also provided a theoretical result on semiring-based constraint satisfaction problems, a technique for efficiently solving linear constraints with preferences, and a technique for simultaneously solving nonlinear constraints and ordinary differential equations.
|
