Sciweavers

222 search results - page 10 / 45
» Tracking Information Flow in Dynamic Tree Structures
Sort
View
CSFW
2007
IEEE
13 years 11 months ago
Automaton-based Confidentiality Monitoring of Concurrent Programs
Noninterference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checking of noni...
Gurvan Le Guernic
ASIAN
2006
Springer
153views Algorithms» more  ASIAN 2006»
13 years 11 months ago
Automata-Based Confidentiality Monitoring
Abstract Non-interference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checkin...
Gurvan Le Guernic, Anindya Banerjee, Thomas P. Jen...
COLING
2010
13 years 2 months ago
Dependency-driven Anaphoricity Determination for Coreference Resolution
This paper proposes a dependency-driven scheme to dynamically determine the syntactic parse tree structure for tree kernel-based anaphoricity determination in coreference resoluti...
Fang Kong, Guodong Zhou, Longhua Qian, Qiaoming Zh...
ECCV
1990
Springer
14 years 9 months ago
Measurement and Integration of 3-D Structures By Tracking Edge Lines
This paper describes techniques for dynamically modeling the 2-D appearance and 3-D geometry of a scene by integrating information from a moving camera. These techniques are illus...
James L. Crowley, Patrick Stelmaszyk
SSDBM
2006
IEEE
140views Database» more  SSDBM 2006»
14 years 1 months ago
A Dynamic Mobility Histogram Construction Method Based on Markov Chains
With the recent progress of spatial information technologies and communication technologies, it has become easier to track positions of a large number of moving objects in real-ti...
Yoshiharu Ishikawa, Yoji Machida, Hiroyuki Kitagaw...