691 search results - page 124 / 139 » Equational Abstractions |
TROB
2010
13 years 2 months ago
2010
Abstract--This paper proposes a unified optimization framework to solve the time parameterization problem of humanoid robot paths. Even though the time parameterization problem is ...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
Abstract—In this study, a robust minimum variance beamformer (RMVB) is employed for source reconstruction in simultaneous MEG and local field potential (LFP) measurements. RMVB ...
LR
2011
12 years 10 months ago
2011
Abstract We present methods and tools for modeling autonomously controlled production networks and investigation of their stability properties. Production networks are described as...
EMSOFT
2007
Springer
14 years 1 months ago
2007
Springer
This paper describes techniques to estimate the worst case execution time of executable code on architectures with data caches. The underlying mechanism is Abstract Interpretation...
ESOP
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Many algorithms use concrete data types with some additional invariants. The set of values satisfying the invariants is often a set of representatives for the equivalence...