Sciweavers

180 search results - page 14 / 36
» Typing Local Control and State Using Flow Analysis
Sort
View
BMCBI
2008
118views more  BMCBI 2008»
14 years 12 months ago
Kismeth: Analyzer of plant methylation states through bisulfite sequencing
Background: There is great interest in probing the temporal and spatial patterns of cytosine methylation states in genomes of a variety of organisms. It is hoped that this will sh...
Eyal Gruntman, Yijun Qi, R. Keith Slotkin, Ted Roe...
POPL
2012
ACM
13 years 7 months ago
Multiple facets for dynamic information flow
JavaScript has become a central technology of the web, but it is also the source of many security problems, including cross-site scripting attacks and malicious advertising code. ...
Thomas H. Austin, Cormac Flanagan
CA
2002
IEEE
15 years 4 months ago
CoArt: Co-articulation Region Analysis for Control of 2D Characters
A facial analysis-synthesis framework based on a concise set of local, independently actuated, Coarticulation Regions (CR) is presented for the control of 2D animated characters. ...
Douglas Fidaleo, Ulrich Neumann
PLDI
2003
ACM
15 years 5 months ago
Checking and inferring local non-aliasing
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....
Alexander Aiken, Jeffrey S. Foster, John Kodumal, ...
MVA
2010
229views Computer Vision» more  MVA 2010»
14 years 6 months ago
Robust 3D object registration without explicit correspondence using geometric integration
3D vision guided manipulation of components is a key problem of industrial machine vision. In this paper, we focus on the localization and pose estimation of known industrial objec...
Dirk Breitenreicher, Christoph Schnörr