618 search results - page 87 / 124 » Meaning and Partiality Revised |
PARA
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. The traditional technique to simulate physical systems modeled by partial differential equations is by means of a time-stepped methodology where the state of the system ...
POLICY
2004
Springer
14 years 3 months ago
2004
Springer
As the interest in using policy-based approaches for systems management grows, it is becoming increasingly important to develop methods for performing analysis and refinement of p...
CVPR
2010
IEEE
14 years 3 months ago
2010
IEEE
Treating visual object tracking as foreground and background classification problem has attracted much attention in the past decade. Most methods adopt mean shift or brute force s...
ICIP
2003
IEEE
14 years 3 months ago
2003
IEEE
We propose to use approximations of shape metrics, such as the Hausdorff distance, to define similarity measures between shapes. Our approximations being continuous and different...
ICSM
2002
IEEE
14 years 3 months ago
2002
IEEE
When a software system enters the maintenance phase, the availability of accurate and consistent information about its organization can help alleviate the difficulties of program...