3653 search results - page 180 / 731 » On Recognizable Timed Languages |
144
click to vote
RTCSA
2005
IEEE
15 years 11 months ago
2005
IEEE
While enabling fast implementation and reconfiguration of stream applications, programmable stream processors expose issues of incompatibility and lack of adoption in existing st...
173
click to vote
RTAS
2000
IEEE
15 years 9 months ago
2000
IEEE
In this paper, we present Chocolate, a reservation-based Real-Time Java run-time environment that runs on Windows NT. We first present a brief overview of the emerging RealTime Ja...
159
click to vote
REX
1991
15 years 8 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
132
click to vote
EDBT
2010
ACM
15 years 8 months ago
2010
ACM
Recent progress in information extraction has shown how to automatically build large ontologies from high-quality sources like Wikipedia. But knowledge evolves over time; facts ha...
140
click to vote
COGSCI
2010
15 years 5 months ago
2010
What is the relationship between space and time in the human mind? Studies in adults show an asymmetric relationship between mental representations of these basic dimensions of ex...