Sciweavers

3825 search results - page 31 / 765
» The Language of Time: A Reader
Sort
View
FSTTCS
2010
Springer
13 years 6 months ago
Two Size Measures for Timed Languages
Quantitative properties of timed regular languages, such as information content (growth rate, entropy) are explored. The approach suggested by the same authors is extended to lang...
Eugene Asarin, Aldric Degorre
EPIA
1989
Springer
14 years 16 days ago
Semantic Analysis of Time and Tense in Natural Language: An Implementation
In this paper a model for temporal references in natural language (NL) is studied and a Prolog implementation of it is presented. This model is intended to be a common framework f...
Nelma Moreira
SCP
1998
113views more  SCP 1998»
13 years 8 months ago
Linear-Time Hierarchies for a Functional Language Machine Model
In STOC 93, Jones sketched the existence of a hierarchy within problems decidable in linear time by a first-order functional language based on tree-structured data (F), as well a...
Eva Rose
IWPSE
2005
IEEE
14 years 2 months ago
Languages evolve too! Changing the Software Time Scale
Humans will have to live with software for a long time. As demonstrated by the Y2K problem, computer professionals used a wrong time scale when thinking about software. Large soft...
Jean-Marie Favre
EMSOFT
2006
Springer
14 years 4 days ago
A timing model for synchronous language implementations in simulink
We describe a simple scheme for mapping synchronous language models, in the form of Boolean Mealy Machines, into timed automata. The mapping captures certain idealized implementat...
Timothy Bourke, Arcot Sowmya