589 search results - page 92 / 118 » Introducing Dynamic Constraints in B |
127
click to vote
ICRA
2009
IEEE
15 years 1 months ago
2009
IEEE
Abstract-- This paper presents a framework for generating time-optimal velocity profiles for a group of pathconstrained vehicle robots that have fixed and known initial and goal lo...
207
Voted
POPL
2012
ACM
13 years 11 months ago
2012
ACM
It is becoming increasingly important for applications to protect sensitive data. With current techniques, the programmer bears the burden of ensuring that the application’s beh...
170
Voted
CASES
2007
ACM
15 years 7 months ago
2007
ACM
We propose a technique which leverages configurable data caches to address the problem of cache interference in multitasking embedded systems. Data caches are often necessary to p...
191
Voted
ICCV
2011
IEEE
14 years 7 months ago
2011
IEEE
Human motion capturing (HMC) from multiview image sequences constitutes an extremely difficult problem due to depth and orientation ambiguities and the high dimensionality of the s...
167
Voted
ICDE
2012
IEEE
13 years 6 months ago
2012
IEEE
— Accurate query performance prediction (QPP) is central to effective resource management, query optimization and query scheduling. Analytical cost models, used in current genera...