Sciweavers

3885 search results - page 288 / 777
» Transformations for Write-All-with-Collision Model
Sort
View
ICPR
2006
IEEE
16 years 21 days ago
Global-to-Local Non-Rigid Shape Registration
Non-rigid shape registration is an important issue in computer vision. In this paper we propose a novel globalto-local procedure for aligning non-rigid shapes. The global similari...
Hui Chen, Bir Bhanu
IJCNLP
2005
Springer
16 years 5 days ago
Exploiting Lexical Conceptual Structure for Paraphrase Generation
Abstract. Lexical Conceptual Structure (LCS) represents verbs as semantic structures with a limited number of semantic predicates. This paper attempts to exploit how LCS can be use...
Atsushi Fujita, Kentaro Inui, Yuji Matsumoto
WDAG
2005
Springer
80views Algorithms» more  WDAG 2005»
16 years 4 days ago
Obstruction-Free Algorithms Can Be Practically Wait-Free
Abstract. The obstruction-free progress condition is weaker than previous nonblocking progress conditions such as lock-freedom and waitfreedom, and admits simpler implementations t...
Faith Ellen Fich, Victor Luchangco, Mark Moir, Nir...
CAISE
2004
Springer
16 years 2 days ago
An Approach to Heterogeneous Data Translation based on XML Conversion
In this paper, we illustrate a preliminary approach to the translation of Web data between heterogeneous formats. This work fits into a larger project whose aim is the development...
Paolo Papotti, Riccardo Torlone
GG
2004
Springer
16 years 1 days ago
Representing First-Order Logic Using Graphs
We show how edge-labelled graphs can be used to represent first-order logic formulae. This gives rise to recursively nested structures, in which each level of nesting corresponds ...
Arend Rensink