2612 search results - page 263 / 523 » Mobile Processes and Termination |
150
click to vote
IJCSA
2006
15 years 3 months ago
2006
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...
145
click to vote
JCP
2006
15 years 3 months ago
2006
Trust models provide a framework to create and manage trust relationships among the different entities of a Public Key Infrastructure (PKI). These trust relationships are verified ...
131
click to vote
EMNLP
2009
15 years 1 months ago
2009
This paper proposes a novel method to refine the grammars in parsing by utilizing semantic knowledge from HowNet. Based on the hierarchical state-split approach, which can refine ...
135
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
We propose a methodology for improved segmentation of images in a Bayesian framework by fusion of color, texture and gradient information. The proposed algorithm is initialized by...
121
click to vote
AROBOTS
2002
15 years 3 months ago
2002
This paper concerns the exploration of a natural environment by a mobile robot equipped with both a video color camera and a stereo-vision system. We focus on the interest of such ...