2410 search results - page 340 / 482 » Multiset Ordering Constraints |
138
click to vote
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
— Optical flow sensing techniques are promising for obstacle avoidance, distance regulation, and moving target tracking, particularly for small mobile robots with limited power ...
154
click to vote
LICS
2009
IEEE
15 years 11 months ago
2009
IEEE
A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted be...
150
Voted
LICS
2009
IEEE
15 years 11 months ago
2009
IEEE
The search for an expressive calculus of datatypes in which canonical algorithms can be easily written and proven correct has proved to be an enduring challenge to the theoretical ...
160
click to vote
ACML
2009
Springer
15 years 11 months ago
2009
Springer
In this paper, we propose a Robust Discriminant Analysis based on maximum entropy (MaxEnt) criterion (MaxEnt-RDA), which is derived from a nonparametric estimate of Renyi’s quadr...
161
click to vote
TRUSTBUS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Existing policy languages suffer from a limited ability of directly and elegantly expressing high-level access control principles such as history-based separation of dut...