Sciweavers

5757 search results - page 884 / 1152
» Dynamic Policy Programming
Sort
View
84
Voted
ICSE
2009
IEEE-ACM
16 years 1 months ago
Modular string-sensitive permission analysis with demand-driven precision
In modern software systems, programs are obtained by dynamically assembling components. This has made it necessary to subject component providers to access-control restrictions. W...
Emmanuel Geay, Marco Pistoia, Takaaki Tateishi, Ba...
89
Voted
ISBI
2006
IEEE
16 years 1 months ago
Tracking of the mitral valve leaflet in echocardiography images
This paper presents a semi-automatic method for the segmentation and the tracking of the mitral valve leaflet in transesophageal echocardiography. We use two connected active cont...
Jocelyne Troccaz, Olivier Chavanon, Sébasti...
113
Voted
EACL
2009
ACL Anthology
16 years 1 months ago
Translation as Weighted Deduction
We present a unified view of many translation algorithms that synthesizes work on deductive parsing, semiring parsing, and efficient approximate search algorithms. This gives rise...
Adam Lopez
94
Voted
VLSID
2002
IEEE
160views VLSI» more  VLSID 2002»
16 years 1 months ago
An Efficient Hierarchical Timing-Driven Steiner Tree Algorithm for Global Routing
In this paper, we propose a hierarchical timing-driven Steiner tree algorithm for global routing which considers the minimization of timing delay during the tree construction as t...
Jingyu Xu, Xianlong Hong, Tong Jing, Yici Cai, Jun...
CHI
2003
ACM
16 years 1 months ago
Fusion: interactive coordination of diverse data, visualizations, and mining algorithms
Fusion is a web-based system that enables end-users to rapidly and dynamically construct personalized visualization workspaces without programming. Users first use advanced data s...
Chris North, Nathan Conklin, Kiran Indukuri, Varun...