4767 search results - page 156 / 954 » Structures for Abstract Rewriting |
COSIT
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper complements landmark research with an approach to formalize the structural salience of objects along routes. The aim is to automatically integrate salient obje...
114
click to vote
IJCNLP
2005
Springer
15 years 8 months ago
2005
Springer
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...
113
Voted
WABI
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Protein design software places amino acid side chains by precomputing rotamer-pair energies and optimizing rotamer placement. If the software optimizes by rapid stochasti...
113
click to vote
FSTTCS
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. This paper studies a recently developed an approach to reasoning about mutable data structures, which uses an assertion language with spatial conjunction and implication ...
134
click to vote
ICPR
2000
IEEE
15 years 7 months ago
2000
IEEE
In this paper we address the object recognition problem in a probabilistic framework to detect and describe object appearance through image features organized by means of active c...