Sciweavers

109 search results - page 14 / 22
» Information flow inference for free
Sort
View
KBSE
2009
IEEE
14 years 2 months ago
Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients
Methods in object-oriented concurrent libraries hide internal synchronization details. However, information hiding may result in clients causing thread safety violations by invoki...
Jyotirmoy V. Deshmukh, E. Allen Emerson, Sriram Sa...
POPL
2006
ACM
14 years 7 months ago
On flow-sensitive security types
This article investigates formal properties of a family of semantically sound flow-sensitive type systems for tracking information flow in simple While programs. The family is ind...
Sebastian Hunt, David Sands
IJMMS
2007
145views more  IJMMS 2007»
13 years 7 months ago
Automatic prediction of frustration
Predicting when a person might be frustrated can provide an intelligent system with important information about when to initiate interaction. For example, an automated Learning Co...
Ashish Kapoor, Winslow Burleson, Rosalind W. Picar...
IBPRIA
2011
Springer
12 years 11 months ago
Classifying Melodies Using Tree Grammars
Abstract. Similarity computation is a difficult issue in music information retrieval, because it tries to emulate the special ability that humans show for pattern recognition in ge...
José Francisco Bernabeu, Jorge Calera-Rubio...
CVPR
2003
IEEE
1110views Computer Vision» more  CVPR 2003»
14 years 9 months ago
Motion Segmentation with Accurate Boundaries - A Tensor Voting Approach
Producing an accurate motion flow field is very difficult at motion boundaries. We present a novel, noniterative approach for segmentation from image motion, based on two voting p...
Gérard G. Medioni, Mircea Nicolescu