Sciweavers

4961 search results - page 192 / 993
» Homomorphism-Homogeneous Relational Structures
Sort
View
ML
2006
ACM
122views Machine Learning» more  ML 2006»
15 years 9 months ago
Type-safe modular hash-consing
Hash-consing is a technique to share values that are structurally equal. Beyond the obvious advantage of saving memory blocks, hash-consing may also be used to speed up fundamenta...
Jean-Christophe Filliâtre, Sylvain Conchon
SIGIR
2004
ACM
15 years 8 months ago
Design of an e-book user interface and visualizations to support reading for comprehension
Current e-Book browsers provide minimal support for comprehending the organization, narrative structure, and themes, of large complex books. In order to build an understanding of ...
Yixing Sun, David J. Harper, Stuart N. K. Watt
WADT
2004
Springer
15 years 8 months ago
Theoroidal Maps as Algebraic Simulations
Abstract. Computational systems are often represented by means of Kripke structures, and related using simulations. We propose rewriting logic as a flexible and executable framewo...
Narciso Martí-Oliet, José Meseguer, ...
EACL
2009
ACL Anthology
15 years 1 months ago
Discovering Global Patterns in Linguistic Networks through Spectral Analysis: A Case Study of the Consonant Inventories
Recent research has shown that language and the socio-cognitive phenomena associated with it can be aptly modeled and visualized through networks of linguistic entities. However, ...
Animesh Mukherjee, Monojit Choudhury, Ravi Kannan
AAAI
2011
14 years 3 months ago
Tree Sequence Kernel for Natural Language
We propose Tree Sequence Kernel (TSK), which implicitly exhausts the structure features of a sequence of subtrees embedded in the phrasal parse tree. By incorporating the capabili...
Jun Sun, Min Zhang, Chew Lim Tan