6812 search results - page 189 / 1363 » Detection of Information Flows |
183
click to vote
ICFP
2003
ACM
16 years 7 months ago
2003
ACM
Program analysis is the heart of modern compilers. Most control flow analyses are reduced to the problem of finding a fixed point in a certain transition system, and such fixed po...
213
click to vote
SLOGICA
2008
15 years 7 months ago
2008
In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistemic logic, can be used to model and interpret quantum behavior. Our main thesis ...
192
click to vote
ACIVS
2008
Springer
16 years 1 months ago
2008
Springer
Bayesian Information Criterion (BIC) is a promising method for detecting the number of clusters. It is often used in model-based clustering in which a decisive first local maximum ...
210
click to vote
ICPR
2000
IEEE
16 years 8 months ago
2000
IEEE
In this paper, we propose an original approach for content-based video indexing and retrieval. It relies on the tracking of entities of interest and the analysis of their apparent...
187
click to vote
ISPASS
2009
IEEE
16 years 2 months ago
2009
IEEE
Insights into branch predictor organization and operation can be used in architecture-aware compiler optimizations to improve program performance. Unfortunately, such details are ...