Sciweavers

180 search results - page 14 / 36
» Typing Local Control and State Using Flow Analysis
Sort
View
BMCBI
2008
118views more  BMCBI 2008»
13 years 7 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
12 years 3 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
14 years 12 days 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
14 years 20 days 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»
13 years 2 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