348 search results - page 30 / 70 » Experiments with Reasoning for Temporal Relations between Ev... |
AAMAS
2010
Springer
13 years 9 months ago
2010
Springer
Cognitive appraisal theories, which link human emotional experience to their interpretations of events happening in the environment, are leading approaches to model emotions. In th...
ISBI
2008
IEEE
14 years 9 months ago
2008
IEEE
Image-based 3D atlases have been proven to be very useful in biological and medical research. They serve as spatial reference systems that enable researchers to integrate experime...
SIGSOFT
2009
ACM
14 years 9 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
TOH
2008
13 years 8 months ago
2008
We investigate the potential role of haptics in augmenting the visualization of climate data. In existing approaches to climate visualization, different dimensions of climate data...
JOLLI
2002
13 years 8 months ago
2002
Temporal logic can be used to describe processes: their behaviour is characterized by a set of temporal models axiomatized by a temporal theory. Two types of models are most often ...