1022 search results - page 31 / 205 » Relators and Metric Bisimulations |
106
click to vote
METRICS
2003
IEEE
15 years 5 months ago
2003
IEEE
Metrics have long been used to measure and evaluate software products and processes. Many metrics have been developed that have lead to different degrees of success. Software arch...
AIML
2008
15 years 1 months ago
2008
In this paper we study the intermediate logic MLO(X) of open subsets of a metric space X. This logic is closely related to Medvedev's logic of finite problems ML. We prove sev...
HICSS
2007
IEEE
15 years 6 months ago
2007
IEEE
Information Technology governance (ITG) which was a relatively new concept in the late 1990s, has gained importance in the 21st century due to factors namely the collapse of Enron...
103
click to vote
METRICS
2005
IEEE
15 years 5 months ago
2005
IEEE
Generally, code clones are regarded as one of the factors that make software maintenance more difficult. A code clone is a set of source code fragments identical or similar to ea...
ICPR
2008
IEEE
15 years 6 months ago
2008
IEEE
In structure from motion, if two metric structures are given, the unknown scale between them can be resolved by constraining the rigidity of the metric space. There exist two well...