1022 search results - page 52 / 205 » Relators and Metric Bisimulations |
FSTTCS
2008
Springer
15 years 27 days ago
2008
Springer
ABSTRACT. We introduce a novel approach to the runtime monitoring of complex system properties. In particular, we present an online algorithm for a safety fragment of metric first...
TSE
2010
14 years 10 months ago
2010
—In this paper, we explore the concept of code readability and investigate its relation to software quality. With data collected from 120 human annotators, we derive associations...
126
click to vote
DGO
2008
15 years 1 months ago
2008
Increasingly, taxonomies are being developed for a wide variety of industrial domains and specific applications within those domains. These industry or application specific taxono...
102
click to vote
CVPR
2001
IEEE
16 years 1 months ago
2001
IEEE
We consider the problem of video stabilization: removing unwanted image perturbations due to unstable camera motions. We approach this problem from an image-based rendering (IBR) ...
SSDBM
2003
IEEE
15 years 5 months ago
2003
IEEE
MoBIoS is a specialized database management system whose storage manager is based on metric-space indexing, and whose query language entails biological data types. When relational...