1805 search results - page 180 / 361 » A Theory of Closure Operators |
152
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— Stability problems associated with haptics and robot control with obstacle avoidance are analyzed. Obstacle avoidance algorithms are revised to accomplish stable redesign using...
143
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
We develop a tableau-based decision procedure for the full coalitional multiagent temporal-epistemic logic of linear time CMATEL(CD+LT). It extends LTL with operators of common an...
167
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this note, an algebraic approach for state estimation of linear time-varying (LTV) systems is introduced. This approach is based on the following mathematical tools: Laplace...
155
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper introduces a generalized cross-correlation (GCC) measure for spike train analysis derived from reproducing kernel Hilbert spaces (RKHS) theory. An estimator for GCC is ...
142
click to vote
CPAIOR
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We propose generalizations of the Global Cardinality Constraint (gcc) in which a partition of the variables is given. In the context of resource allocation problems, such...