Sciweavers

2853 search results - page 55 / 571
» On Coherence in Computer Algebra
Sort
View
ACL
2010
13 years 7 months ago
Entity-Based Local Coherence Modelling Using Topological Fields
One goal of natural language generation is to produce coherent text that presents information in a logical order. In this paper, we show that topological fields, which model high-...
Jackie Chi Kit Cheung, Gerald Penn
VIS
2007
IEEE
108views Visualization» more  VIS 2007»
14 years 10 months ago
Efficient Visualization of Lagrangian Coherent Structures by Filtered AMR Ridge Extraction
This paper presents a method for filtered ridge extraction based on adaptive mesh refinement. It is applicable in situations where the underlying scalar field can be refined during...
Filip Sadlo, Ronald Peikert
ICPP
1994
IEEE
14 years 1 months ago
A Distributed Cache Coherence Protocol for Hypercube Multiprocessors
- This paper proposes a distributed directory cache coherence protocol and compares the performance of the proposed protocol with fully mapped and single linked list protocols for ...
Yeimkuan Chang, Laxmi N. Bhuyan, Akhilesh Kumar
CSR
2008
Springer
13 years 9 months ago
A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics
An (n, k)-ary quantifier is a generalized logical connective, binding k variables and connecting n formulas. Canonical systems with (n, k)-ary quantifiers form a natural class of G...
Arnon Avron, Anna Zamansky
ISVC
2010
Springer
13 years 7 months ago
Learning Scene Entries and Exits Using Coherent Motion Regions
We present a novel framework to reliably learn scene entry and exit locations using coherent motion regions formed by weak tracking data. We construct “entities” from weak trac...
Matthew Nedrich, James W. Davis