3239 search results - page 214 / 648 » A Logical Process Calculus |
137
click to vote
COSIT
1999
Springer
15 years 7 months ago
1999
Springer
Previous recent research on human wayfinding has focused primarily on mental representations rather than processes of wayfinding. This paper presents a formal model of some aspect...
134
Voted
ENTCS
1998
15 years 3 months ago
1998
We consider a generalisation of Larsen and Skou’s [19] reactive probabilistic transition systems which exhibit three kinds of choice: action-guarded probabilistic choice, extern...
133
click to vote
ISLPED
2009
ACM
15 years 8 months ago
2009
ACM
We present experimental analysis to exploit the sequence dependence on energy saving in error tolerant image processing. Our analysis shows that the error distributions depend not...
133
click to vote
DAC
2006
ACM
16 years 4 months ago
2006
ACM
A statistical model for the purpose of logic cell timing analysis in the presence of process variations is presented. A new current-based cell delay model is utilized, which can a...
127
Voted
DEBU
2008
15 years 3 months ago
2008
In this paper, we describe our experiences in building and evolving an XQuery engine with a focus on data and service federation use cases. The engine that we discuss is a core co...