3038 search results - page 347 / 608 » Controlling Engineering Problem Solving |
96
Voted
SSS
2010
Springer
15 years 29 days ago
2010
Springer
The earlier work on predicate detection has assumed that the given computation is finite. Detecting violation of a liveness predicate requires that the predicate be evaluated on a...
156
click to vote
CDC
2010
IEEE
14 years 9 months ago
2010
IEEE
In this paper, we consider the problem of motion planning for mobile robots with nonlinear hybrid dynamics, and high-level temporal goals. We use a multi-layered synergistic framew...
139
click to vote
ICIAP
2005
ACM
16 years 2 months ago
2005
ACM
Abstract. We present a technique that achieves local contrast enhancement by representing it as an optimization problem. For this, we first introduce a scalar objective function th...
109
Voted
HICSS
2008
IEEE
15 years 9 months ago
2008
IEEE
Anti-money laundering is a pressing issue in today’s economy. With the newly launched Chinese anti-money laundering regulation, this issue has drawn more and more attention from...
127
Voted
ICRA
2008
IEEE
15 years 9 months ago
2008
IEEE
— We consider the problem of optimal control in continuous and partially observable environments when the parameters of the model are not known exactly. Partially Observable Mark...