Sciweavers

556 search results - page 65 / 112
» Generic Properties of Datatypes
Sort
View
LREC
2008
102views Education» more  LREC 2008»
13 years 10 months ago
Unsupervised Parts-of-Speech Induction for Bengali
We present a study of the word interaction networks of Bengali in the framework of complex networks. The topological properties of these networks reveal interesting insights into ...
Joy Deep Nath, Monojit Choudhury, Animesh Mukherje...
KRMED
2004
13 years 10 months ago
Symbolic modeling of structural relationships in the Foundational Model of Anatomy
The need for a sharable resource that can provide deep anatomical knowledge and support inference for biomedical applications has recently been the driving force in the creation o...
José L. V. Mejino Jr., Cornelius Rosse
COLING
1994
13 years 10 months ago
Universal Guides And Finiteness And Symmetry Of Grammar Processing Algorithms
This paper presents a novel technique called "universal guides" which explores inherent properties of logic grammars (changing variable binding status) in order to chara...
Miroslav Martinovic
CORR
2010
Springer
98views Education» more  CORR 2010»
13 years 9 months ago
Extended Computation Tree Logic
We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may ...
Roland Axelsson, Matthew Hague, Stephan Kreutzer, ...
APAL
2006
103views more  APAL 2006»
13 years 8 months ago
Canonical structure in the universe of set theory: part two
We prove a number of consistency results complementary to the ZFC results from our paper [4]. We produce examples of non-tightly stationary mutually stationary sequences, sequences...
James Cummings, Matthew Foreman, Menachem Magidor