Sciweavers

3001 search results - page 125 / 601
» Recursive type generativity
Sort
View
CORR
2004
Springer
113views Education» more  CORR 2004»
15 years 6 months ago
An approach to membrane computing under inexactitude
In this paper we introduce a fuzzy version of symport/antiport membrane systems. Our fuzzy membrane systems handle possibly inexact copies of reactives and their rules are endowed...
Jaume Casasnovas, Joe Miró, Manuel Moya, Fr...
DM
1999
62views more  DM 1999»
15 years 5 months ago
Directed animals, forests and permutations
In this paper, we illustrate a method to enumerate two-dimensional directed animals, with compact sources, on both the square and the triangular lattice. We give a recursive descr...
Elena Barcucci, Alberto Del Lungo, Elisa Pergola, ...
TCS
2010
15 years 4 months ago
Left-forbidding cooperating distributed grammar systems
In a left-forbidding grammar, a set of nonterminals is attached to every context-free production, and such a production can rewrite a nonterminal if no symbol from the attached se...
Filip Goldefus, Tomás Masopust, Alexander M...
ACL
2010
15 years 4 months ago
Bootstrapping Semantic Analyzers from Non-Contradictory Texts
We argue that groups of unannotated texts with overlapping and non-contradictory semantics represent a valuable source of information for learning semantic representations. A simp...
Ivan Titov, Mikhail Kozhevnikov
169
Voted
GPCE
2005
Springer
15 years 11 months ago
Statically Safe Program Generation with SafeGen
Abstract. SafeGen is a meta-programming language for writing statically safe generators of Java programs. If a program generator written in SafeGen passes the checks of the SafeGen...
Shan Shan Huang, David Zook, Yannis Smaragdakis