2956 search results - page 323 / 592 » Asim: A Performance Model Framework |
244
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
Adaptive tracking-by-detection methods are widely used in computer vision for tracking arbitrary objects. Current approaches treat the tracking problem as a classification task a...
171
click to vote
ESOP
2010
Springer
16 years 4 months ago
2010
Springer
We develop a generic framework for the analysis of programs with recursive procedures and dynamic process creation. To this end we combine the approach of weighted pushdown systems...
173
click to vote
AIMS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We propose a framework for managing resources via convergent operators. Operators represent their need for a resource to a designated resource closure operator that manag...
192
click to vote
ACOM
2006
Springer
16 years 21 days ago
2006
Springer
Abstract. In this paper, we identify some problems with current formalizations of conditional commitments, i.e. commitments to achieve a goal if some condition becomes true. We pre...
149
click to vote
ICRA
2005
IEEE
16 years 9 days ago
2005
IEEE
— We present a localization method for robots equipped with only a compass, a contact sensor and a map of the environment. In this framework, a localization strategy can be descr...