Sciweavers

7661 search results - page 432 / 1533
» Languages and the Computing Profession
Sort
View
CSR
2007
Springer
16 years 1 months ago
Conjunctive Grammars over a Unary Alphabet: Undecidability and Unbounded Growth
Abstract It has recently been proved (Je˙z, DLT 2007) that conjunctive grammars (that is, context-free grammars augmented by conjunction) generate some nonregular languages over a...
Artur Jez, Alexander Okhotin
GRC
2005
IEEE
16 years 15 days ago
An evolution strategy for the induction of fuzzy finite-state automata
: This study presents an evolution strategy used to infer fuzzy finite-state automata from examples of a fuzzy language. We describe the fitness function of an generated automata w...
Zhiwen Mo, Min Wan, Lan Shu
ICTCS
2005
Springer
16 years 11 days ago
A Typed Semantics of Higher-Order Store and Subtyping
Abstract. We consider a call-by-value language, with higher-order functions, records, references to values of arbitrary type, and subtyping. We adapt an intrinsic denotational mode...
Jan Schwinghammer
CICLING
2001
Springer
15 years 11 months ago
Applying Productive Derivational Morphology to Term Indexing of Spanish Texts
This paper deals with the application of natural language processing techniques to the field of information retrieval. To be precise, we propose the application of morphological f...
Jesús Vilares, David Cabrero, Miguel A. Alo...
ESOP
2006
Springer
15 years 10 months ago
Types for Dynamic Reconfiguration
We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dyn...
João Costa Seco, Luís Caires