1140 search results - page 138 / 228 » Progress on Certifying Algorithms |
SCESM
2006
ACM
14 years 4 months ago
2006
ACM
Goal orientation is an increasingly recognised Requirements Engineering paradigm. However, integration of goal modelling with operational models remains an open area for which the...
SMA
2006
ACM
14 years 4 months ago
2006
ACM
Many applications require the extraction of isolines and isosurfaces from scalar functions defined on regular grids. These scalar functions may have many different origins: from ...
CVPR
2010
IEEE
14 years 3 months ago
2010
IEEE
We present an approach for online learning of discriminative appearance models for robust multi-target tracking in a crowded scene from a single camera. Although much progress has...
GRAPHITE
2005
ACM
14 years 3 months ago
2005
ACM
Surface fitting refers to the process of constructing a smooth representation for an object surface from a fairly large number of measured 3D data points. This paper presents an ...
PODC
2005
ACM
14 years 3 months ago
2005
ACM
In recent software transactional memory proposals, a contention manager module is responsible for ensuring that the system as a whole makes progress. A number of contention manage...