899 search results - page 19 / 180 » A Temporal Language for SystemC |
JOLLI
2008
13 years 6 months ago
2008
This paper adds temporal logic to public announcement logic (PAL) and dynamic epistemic logic (DEL). By adding a previous-time operator to PAL, we express in the language statemen...
COLING
1992
13 years 8 months ago
1992
A proposal to deal with tenses in the framework of Discourse Representation Theory is presented, ms it has been implemented for a fragment at the IMS for the project LILOG. It is ...
DBPL
2001
Springer
13 years 11 months ago
2001
Springer
Commercial OLAP systems usually treat OLAP dimensions as static entities. In practice, dimension updates are often necessary in order to adapt the multidimensional database to chan...
CONNECTION
2006
13 years 6 months ago
2006
We present an approach for recognition and clustering of spatio temporal patterns based on networks of spiking neurons with active dendrites and dynamic synapses. We introduce a n...
ICLP
2005
Springer
14 years 7 days ago
2005
Springer
