207 search results - page 23 / 42 » Canonical Forms for Data-Specifications |
ICMCS
2005
IEEE
15 years 3 months ago
2005
IEEE
The topic of this communication is shape-similarity search for 3D-mesh models. We present and evaluate a composite 3D-shape feature vector (DESIRE), which is formed using depth bu...
EGC
2005
Springer
15 years 3 months ago
2005
Springer
We present a new approach to the grid technology that is based on federated databases and updatable views. Views are used in two ways: (1) as wrappers of local servers that adopt l...
EVOW
2005
Springer
15 years 3 months ago
2005
Springer
We present a novel camera network design methodology based on the Parisian approach to evolutionary computation. The problem is partitioned into a set of homogeneous elements, whos...
MFCS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. It is a well-known result that the set of reachable stack contents in a pushdown automaton is a regular set of words. We consider the more general case of higher-order pu...
LPAR
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. The inverse method, due to Maslov, is a forward theorem proving method for cut-free sequent calculi that relies on the subformula property. The Logic of Bunched Implicati...