7075 search results - page 1251 / 1415 » Models and heterogeneous reasoning |
89
Voted
ICRA
2006
IEEE
15 years 7 months ago
2006
IEEE
— We present a control approach that uses a library of trajectories to establish a global control law or policy. This is an alternative to methods for finding global policies ba...
140
click to vote
LICS
2006
IEEE
15 years 7 months ago
2006
IEEE
We consider the monadic boundedness problem for least fixed points over FO formulae as a decision problem: Given a formula ϕ(X, x), positive in X, decide whether there is a unif...
123
Voted
RTSS
2006
IEEE
15 years 7 months ago
2006
IEEE
We present an optimal real-time scheduling algorithm for multiprocessors — one that satisfies all task deadlines, when the total utilization demand does not exceed the utilizat...
117
click to vote
SP
2006
IEEE
15 years 7 months ago
2006
IEEE
Contextual integrity is a conceptual framework for understanding privacy expectations and their implications developed in the literature on law, public policy, and political philo...
134
click to vote
ACCV
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper presents a fast algorithm for global motion estimation based on Iterative Least- Square Estimation (ILSE) technique. Compared with the traditional framework, t...