371 search results - page 36 / 75 » A Precedence PEPA Model for Performance and Reliability Anal... |
POPL
2011
ACM
12 years 10 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
CAIP
2007
Springer
14 years 1 months ago
2007
Springer
A novel approach towards a simplified, though still reliable human vision model based on the spatial masking properties of the human visual system (HVS) is presented. The model con...
SIMUTOOLS
2008
13 years 9 months ago
2008
MIPv6 is the IPv6 based mobility management protocol and it is expected to become the mobility management protocol of choice for the Next Generation Wireless Access Networks. In o...
ICIAR
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We present a method for automatic segmentation of grey-scale images, based on a recently introduced deformable model, the charged-particle model (CPM). The model is inspi...
AIPS
2007
13 years 10 months ago
2007
A great effort has been made today in the area of Artificial Intelligence for defining reliable automated planning systems that can be applied in real life applications. That le...