2573 search results - page 190 / 515 » Combinations of Modal Logics |
159
click to vote
PLDI
2006
ACM
16 years 14 days ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
205
click to vote
HASE
1998
IEEE
15 years 10 months ago
1998
IEEE
Fault trees provide a graphical and logical framework for analyzing the reliability of systems. A fault tree provides a conceptually simple modeling framework to represent the sys...
223
click to vote
ERCIMDL
2006
Springer
15 years 10 months ago
2006
Springer
There is a lack of an integrated technology that will increase effective usage of the vast and heterogeneous multi-lingual and multimedia digital content. The need is being express...
141
click to vote
EMNLP
2008
15 years 8 months ago
2008
We investigate the combination of several sources of information for the purpose of subjectivity recognition and polarity classification in meetings. We focus on features from two...
156
click to vote
PRESENCE
2006
15 years 6 months ago
2006
Research on virtual environments has provided insights into the experience of presence (or being there) and copresence (being there together). Several dimensions of this experienc...