Sciweavers

3362 search results - page 45 / 673
» A definition of subjective possibility
Sort
View
DEXAW
2000
IEEE
149views Database» more  DEXAW 2000»
15 years 4 months ago
On 3D Topological Relationships
This paper presents an integrated study on possible topological relationship between multidimensional simple objects in 0,1,2 and 3 D space. The formal categorisation of spatial r...
Sisi Zlatanova
CLIMA
2006
15 years 1 months ago
Belief Updating by Communication Channel
In this paper, we introduce the notion of communication channel into a multiagent system. We formalize the system in term of logic with Belief modality, where each possible world i...
Shingo Hagiwara, Mikito Kobayashi, Satoshi Tojo
CADE
2004
Springer
16 years 4 days ago
Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...
José Meseguer, Grigore Rosu
LREC
2010
126views Education» more  LREC 2010»
15 years 1 months ago
Predictive Features for Detecting Indefinite Polar Sentences
In recent years, text classification in sentiment analysis has mostly focused on two types of classification, the distinction between objective and subjective text, i.e. subjectiv...
Michael Wiegand, Dietrich Klakow
CHI
2009
ACM
16 years 12 days ago
Understanding, scoping and defining user experience: a survey approach
Despite the growing interest in user experience (UX), it has been hard to gain a common agreement on the nature and scope of UX. In this paper, we report a survey that gathered th...
Effie Lai-Chong Law, Virpi Roto, Marc Hassenzahl, ...