899 search results - page 126 / 180 » A Temporal Language for SystemC |
115
click to vote
LREC
2008
15 years 2 months ago
2008
We are currently developing MiniSTEx, a spatiotemporal annotation system to handle temporal and/or geospatial information directly and indirectly expressed in texts. In the end, t...
137
click to vote
ICML
2010
IEEE
15 years 2 months ago
2010
IEEE
Many temporal processes can be naturally modeled as a stochastic system that evolves continuously over time. The representation language of continuous-time Bayesian networks allow...
120
click to vote
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
ATL+ is a variant of alternating-time temporal logic that does not have the expressive power of full ATL , but still allows for expressing some natural properties of agents. It ha...
110
click to vote
JAPLL
2007
15 years 1 months ago
2007
History based models, introduced by Parikh and Ramanujam, provide a natural mathematical model of social interactive situations. These models offer a ”low level” description ...
TOG
2008
15 years 1 months ago
2008
A lot of research has recently focused on the problem of capturing the geometry and motion of garments. Such work usually relies on special markers printed on the fabric to establ...