868 search results - page 135 / 174 » Unification of Temporal Data Models |
109
click to vote
ISCA
2010
IEEE
15 years 2 months ago
2010
IEEE
Two broad classes of memory models are available today: models with hardware cache coherence, used in conventional chip multiprocessors, and models that rely upon software to mana...
113
Voted
IJMMS
2007
15 years 22 days ago
2007
Affective reasoning plays an increasingly important role in cognitive accounts of social interaction. Humans continuously assess one another's situational context, modify the...
148
Voted
DAGM
2003
Springer
15 years 6 months ago
2003
Springer
We introduce a computational model of sensor fusion based on the topographic representations of a ”two-microphone and one camera” configuration. Our aim is to perform a robust...
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
Affective reasoning plays an increasingly important role in cognitive accounts of social interaction. Humans continuously assess one another's situational context, modify the...
119
Voted
CORR
2008
Springer
15 years 27 days ago
2008
Springer
We study complexity of the model-checking problems for LTL with registers (also known as freeze LTL and written LTL ) and for first-order logic with data equality tests (written F...