Sciweavers

300 search results - page 49 / 60
» An extension of the Cayley-Sylvester formula
Sort
View
EACL
2003
ACL Anthology
13 years 9 months ago
Describing Syntax with Star-Free Regular Expressions
Syntactic constraints in Koskenniemi’s Finite-State Intersection Grammar (FSIG) are logically less complex than their formalism (Koskenniemi et al., 1992) would suggest: It turn...
Anssi Yli-Jyrä
HIS
2003
13 years 9 months ago
On a Set Theory With Uncertain Membership Relations
We logically model uncertainty by expanding language without changing logical reasoning rules. We expand the language of set theory by adding new predicate symbols, uncertain membe...
Shunsuke Yatabe, Yuzuru Kakuda, Makoto Kikuchi
IJCAI
1993
13 years 9 months ago
Fuzzy Causal Simulation in Process Engineering
: This paper presents a causal simulation method for incompletely known dynamic systems in process engineering. The causal model of a process is represented as both a causal networ...
Kouamana Bousson, Louise Travé-Massuy&egrav...
IJCAI
1993
13 years 9 months ago
Notes on Formalizing Context
These notes discuss formalizing contexts as first class objects. The basic relation is ist(c, p). It asserts that the proposition p is true in the context c. The most important f...
John McCarthy
CORR
2008
Springer
129views Education» more  CORR 2008»
13 years 8 months ago
Tight Bounds on the Capacity of Binary Input random CDMA Systems
Abstract-- We consider code division multiple access communication over a binary input additive white Gaussian noise channel using random spreading. For a general class of symmetri...
Satish Babu Korada, Nicolas Macris