8228 search results - page 1388 / 1646 » Structural Logical Relations |
137
click to vote
AMFG
2005
IEEE
15 years 6 months ago
2005
IEEE
It has been shown that features can be selected adaptively for object tracking in changing environments [1]. We propose to use the variance of Mutual Information [2] for online fea...
101
Voted
CSB
2005
IEEE
15 years 6 months ago
2005
IEEE
The Mouse Genome Informatics (MGI) Database at The Jackson Laboratory provides a comprehensive public resource about the laboratory mouse. MGI curated data types include gene repr...
105
Voted
CSFW
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper contrasts two existing type-based techniques for the analysis of authentication protocols. The former, proposed by Gordon and Jeffrey, uses dependent types for nonces a...
116
Voted
CVPR
2005
IEEE
15 years 6 months ago
2005
IEEE
This work achieves an efficient acquisition of scenes and their depths along streets. During the movement of a vehicle, a slit in the camera frame is set properly to sample scenes...
97
Voted
IAT
2005
IEEE
15 years 6 months ago
2005
IEEE
Several problems are involved in the Virtual Enterprise (VE) formation process. One of the most important problems is the lack of understanding that may arise during agents’ int...