1863 search results - page 5 / 373 » Unifying Theories of Objects |
135
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
Kernel-based tracking approaches have proven to be more efficient in computation compared to other tracking approaches such as particle filtering. However, existing kernel-based...
136
click to vote
ICECCS
2006
IEEE
15 years 10 months ago
2006
IEEE
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
117
click to vote
CHI
2009
ACM
16 years 4 months ago
2009
ACM
Multitasking in user behavior can be represented along a continuum in terms of the time spent on one task before switching to another. In this paper, we present a theory of behavi...
116
click to vote
COLING
1996
15 years 5 months ago
1996
This paper presents a unified theory of verbal irony tbr developing a computational model of irony. The theory claims that an ironic utterance implicitly communicates the fact tha...
128
click to vote
TASE
2009
IEEE
15 years 10 months ago
2009
IEEE
We explore the interactions between programvariable state visibility and communication behaviour in state-rich CSP-like processes, using the Unifying Theories of Programming (UTP)...