42507 search results - page 418 / 8502 » On the analysis of |
168
click to vote
DATE
2005
IEEE
16 years 22 days ago
2005
IEEE
— A formal methodology for the analysis of a closed loop clock distribution and active deskewing network is proposed. In this paper an active clock distribution and deskewing net...
198
click to vote
INFOCOM
2005
IEEE
16 years 21 days ago
2005
IEEE
— We study a fixed point formalisation of the well known analysis of Bianchi [3]. We provide a significant simplification and generalisation of the analysis. In this more gene...
190
click to vote
SEFM
2005
IEEE
16 years 20 days ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...
181
click to vote
MM
2005
ACM
16 years 20 days ago
2005
ACM
Semantic analysis of multimodal video aims to index segments of interest at a conceptual level. In reaching this goal, it requires an analysis of several information streams. At s...
196
click to vote
ACIVS
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. Purpose: To develop a system for assisting the analysis of capsuleendoscopy (CE) video data and identifying sequences of frames related to small intestine motility. Mater...