1581 search results - page 143 / 317 » Domain semantics of possibility computations |
125
Voted
CVPR
2010
IEEE
15 years 9 months ago
2010
IEEE
Local features or image patches have become a standard tool in computer vision, with numerous application domains. Roughly speaking, two different types of patchbased image repres...
123
Voted
DSN
2004
IEEE
15 years 7 months ago
2004
IEEE
We present a framework for transforming several quorum-based protocols so that they can dynamically adapt their failure threshold and server count, allowing them to be reconfigure...
156
Voted
BIRTHDAY
2010
Springer
15 years 1 months ago
2010
Springer
To prove termination of Java Bytecode (JBC) automatically, we transform JBC to finite termination graphs which represent all possible runs of the program. Afterwards, the graph can...
117
Voted
CCGRID
2003
IEEE
15 years 9 months ago
2003
IEEE
An exposed approach in computer service architecture is one that offers client software a primitive service whose semantics are closely based on the underlying physical infrastruc...
133
Voted
MODELS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We present ModHel’X, an approach to multi-formalism modeling which addresses two important issues in this field: (a) providing support for the specification of the se...