6656 search results - page 38 / 1332 » Change, Change, Change: Three Approaches |
BIRTHDAY
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal development approach. Development graphs have...
ICASSP
2009
IEEE
14 years 4 months ago
2009
IEEE
Quickest detection of an abrupt distribution change with an unknown time varying parameter is considered. A novel adaptive approach is proposed to tackle this problem, which is sh...
SAC
2008
ACM
13 years 9 months ago
2008
ACM
Source control systems permit developers to attach a free form message to every committed change. The content of these change messages can support software maintenance activities....
ECCV
2004
Springer
14 years 12 months ago
2004
Springer
Local feature approaches to vision geometry and object recognition are based on selecting and matching sparse sets of visually salient image points, known as `keypoints' or `p...
MM
2010
ACM
13 years 10 months ago
2010
ACM
Virtual characters are at the epicentre of Interactive Storytelling systems and in recent years multiple AI planning approaches have been described to specify their autonomous beh...