1180 search results - page 158 / 236 » A generic structure-from-motion framework |
77
Voted
ENTCS
2006
15 years 19 days ago
2006
The paper describes the MOLA Tool, which supports the model transformation language MOLA. MOLA Tool consists of two parts: MOLA definition environment and MOLA execution environme...
110
Voted
ENTCS
2006
15 years 19 days ago
2006
Rewriting logic is a flexible and expressive logical framework that unifies algebraic denotational semantics and structural operational semantics (SOS) in a novel way, avoiding th...
94
Voted
ENTCS
2006
15 years 19 days ago
2006
We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...
112
Voted
JCSS
2008
15 years 18 days ago
2008
In this paper we derive a generic form of structural decomposition for the constraint satisfaction problem, which we call a guarded decomposition. We show that many existing decom...
95
Voted
CSI
2007
15 years 18 days ago
2007
We propose a generic framework for the development of an off-line peer-to-peer electronic payment system with fixed-value electronic coins. The proposed scheme simulates the issua...