Sciweavers

2182 search results - page 121 / 437
» A pretopological approach for structural analysis
Sort
View
ESOP
2000
Springer
15 years 1 months ago
A Kleene Analysis of Mobile Ambients
Abstract. We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambie...
Flemming Nielson, Hanne Riis Nielson, Shmuel Sagiv
ICFCA
2004
Springer
15 years 3 months ago
FCA in Knowledge Technologies: Experiences and Opportunities
Abstract. Managing knowledge is a difficult and slippery enterprise. A wide variety of technologies have to be invoked in providing support for knowledge requirements, ranging fro...
Yannis Kalfoglou, Srinandan Dasmahapatra, Yun-Heh ...
DIAL
2004
IEEE
156views Image Analysis» more  DIAL 2004»
15 years 1 months ago
Xed: A New Tool for eXtracting Hidden Structures from Electronic Documents
PDF became a very common format for exchanging printable documents. Further, it can be easily generated from the major documents formats, which make a huge number of PDF documents...
Karim Hadjar, Maurizio Rigamonti, Denis Lalanne, R...
AMFG
2005
IEEE
181views Biometrics» more  AMFG 2005»
15 years 3 months ago
An Integrated Two-Stage Framework for Robust Head Pose Estimation
Abstract. Subspace analysis has been widely used for head pose estimation. However, such techniques are usually sensitive to data alignment and background noise. In this paper a tw...
Junwen Wu, Mohan M. Trivedi
CIVR
2006
Springer
15 years 1 months ago
Hierarchical Hidden Markov Model for Rushes Structuring and Indexing
Rushes footage are considered as cheap gold mine with the potential for reuse in broadcasting and filmmaking industries. However, it is difficult to mine the "gold" from ...
Chong-Wah Ngo, Zailiang Pan, Xiao-Yong Wei