25 search results - page 5 / 5 » A Formal Model of Emotions: Integrating Qualitative and Quan... |
IV
2009
IEEE
2009
IEEE
Beyond Knowledge Visualization Usability: Toward a Better Understanding of Business Diagram Adoption
13 years 11 months ago
Information visualization research typically focuses on the formal aspects of specific graphic solutions in terms of their thinking and/or communication support. This type of anal...
ISOLA
2010
Springer
13 years 3 months ago
2010
Springer
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...
FPCA
1995
13 years 8 months ago
1995
Game semantics is an unusual denotational semantics in that it captures the intensional (or algorithmic) and dynamical aspects of the computation. This makes it an ideal semantica...
GIS
1999
ACM
13 years 9 months ago
1999
ACM
In urban areas, city noises represent today a great problem. They are real nuisances for city-dwellers. Noises are caused by traffic, road works, factories, and also by people. So...
CCS
2007
ACM
13 years 11 months ago
2007
ACM
In measuring the overall security of a network, a crucial issue is to correctly compose the measure of individual components. Incorrect compositions may lead to misleading results...