899 search results - page 29 / 180 » A Temporal Language for SystemC |
FDL
2008
IEEE
13 years 8 months ago
2008
IEEE
This paper describes a scenario-based methodology em-level design validation based on the Abstract State Machines formal method. This scenario-based approach complements an existi...
FORMATS
2005
Springer
14 years 9 days ago
2005
Springer
This paper attempts to improve our understanding of timed languages and their relation to timed automata. We start by giving a constructive proof of the folk theorem stating that t...
ISF
2011
12 years 10 months ago
2011
CBMS
2006
IEEE
14 years 25 days ago
2006
IEEE
— Most biomedical research databases contain considerable amounts of time-oriented data. However, temporal knowledge about the contextual meaning of such data is not usually repr...
ACL
2006
13 years 8 months ago
2006
The interpretation of temporal expressions in text is an important constituent task for many practical natural language processing tasks, including question-answering, information...