Sciweavers

3653 search results - page 387 / 731
» On Recognizable Timed Languages
Sort
View
COLING
1992
15 years 8 months ago
A Tense And Aspect Calculus
This paper focuses on a theory of tense and aspect (the representation of time in natural language) that attempts a formM representation of the relevant liltguistic devices as imp...
Diana Santos
COLING
1990
15 years 8 months ago
Morphological Analysis and Synthesis by Automated Discovery and Acquisition of Linguistic Rules
':[his paper describes a rule-based machine learning approach to morphological processing in the system called XMAS. XMAS discovers and acquires linguistic rules from example...
Byoung-Tak Zhang, Yung Taek Kim
CORR
2010
Springer
139views Education» more  CORR 2010»
15 years 6 months ago
A proof Procedure for Testing Membership in Regular Expressions
We propose an algorithm that tests membership for regular expressions and show that the algorithm is correct. This algorithm is written in the style of a sequent proof system. The...
Keehang Kwon, Hong Pyo Ha, Jiseung Kim
IANDC
2008
139views more  IANDC 2008»
15 years 6 months ago
Computational complexity of dynamical systems: The case of cellular automata
Abstract. Cellular Automata can be considered discrete dynamical systems and at the same time a model of parallel computation. In this paper we investigate the connections between ...
Pietro di Lena, Luciano Margara
JSYML
2006
79views more  JSYML 2006»
15 years 6 months ago
Local-global properties of positive primitive formulas in the theory of spaces of orderings
f spaces of signs (abstract real spectra) developed in [1] [18]. We consider pp (positive primitive) formulas in the language of reduced special groups as in [20]. We denote the pp...
M. Marshall