294 search results - page 41 / 59 » Modal Event Calculus |
124
click to vote
IJCAI
1989
15 years 4 months ago
1989
We Imbed Into a first order logic a representation language that combines atemporal knowledge with time stamps in a hierarchical fashion. Each time structure contains its own chro...
108
click to vote
ENTCS
2008
15 years 3 months ago
2008
We address the problem of component reuse by describing a quotient operation. Starting from the specifications of the behaviors of the component and of the desired overall system,...
108
click to vote
CHI
2007
ACM
16 years 3 months ago
2007
ACM
Designing mobile and wearable applications is a challenge. The context of use is more important than ever and traditional methodologies for elicitation and specification reach the...
110
click to vote
DATE
2003
IEEE
15 years 8 months ago
2003
IEEE
We present a framework (Real-Time Calculus) for analysing various system properties pertaining to timing analysis, loads on various components and on-chip buffer memory requiremen...
97
Voted
ECAI
2006
Springer
15 years 6 months ago
2006
Springer
This paper reports on an investigation using occlusion calculi to interpret digital images. Using a minimal set of digital, region-relation detectors, and assuming a continuous int...