294 search results - page 41 / 59 » Modal Event Calculus |
IJCAI
1989
13 years 8 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...
ENTCS
2008
13 years 7 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,...
CHI
2007
ACM
14 years 8 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...
DATE
2003
IEEE
14 years 1 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...
ECAI
2006
Springer
13 years 11 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...