Sciweavers

2701 search results - page 93 / 541
» On the form of witness terms
Sort
View
EACL
1989
ACL Anthology
15 years 7 months ago
A Modular Approach To Story Generation
One way of characterising texts is in terms of the discourse structures on which they appear to be built. Each type of text, or genre, e.g. the sports report, the recipe, the serm...
Lyn Pemberton
CCIA
2009
Springer
15 years 7 months ago
A Formalization of Trust Alignment
We present a mathematical framework for communicating about trust in terms of interactions. We argue that sharing an ontology about trust is not enough and that interactions are th...
Andrew Koster, Jordi Sabater-Mir, W. Marco Schorle...
ICASSP
2010
IEEE
15 years 6 months ago
Distance-based discretization of parametric signal manifolds
The characterization of signals and images in manifolds often lead to efficient dimensionality reduction algorithms based on manifold distance computation for analysis or classi...
Elif Vural, Pascal Frossard
CGF
2010
127views more  CGF 2010»
15 years 6 months ago
On Discrete Killing Vector Fields and Patterns on Surfaces
Symmetry is one of the most important properties of a shape, unifying form and function. It encodes semantic information on one hand, and affects the shape's aesthetic value ...
Mirela Ben-Chen, Adrian Butscher, Justin Solomon, ...
CORR
2010
Springer
125views Education» more  CORR 2010»
15 years 6 months ago
Tree Languages Defined in First-Order Logic with One Quantifier Alternation
We study tree languages that can be defined in 2. These are tree languages definable by a first-order formula whose quantifier prefix is , and simultaneously by a first-order for...
Mikolaj Bojanczyk, Luc Segoufin