Sciweavers

2137 search results - page 339 / 428
» Proving Abstract Non-interference
Sort
View
APWEB
2006
Springer
15 years 1 months ago
The Case of the Duplicate Documents Measurement, Search, and Science
Many of the documents in large text collections are duplicates and versions of each other. In recent research, we developed new methods for finding such duplicates; however, as the...
Justin Zobel, Yaniv Bernstein
CINQ
2004
Springer
116views Database» more  CINQ 2004»
15 years 1 months ago
Contribution to Gene Expression Data Analysis by Means of Set Pattern Mining
Abstract. One of the exciting scientific challenges in functional genomics concerns the discovery of biologically relevant patterns from gene expression data. For instance, it is e...
Ruggero G. Pensa, Jérémy Besson, C&e...
ATAL
2006
Springer
15 years 1 months ago
A hierarchical approach to efficient reinforcement learning in deterministic domains
Factored representations, model-based learning, and hierarchies are well-studied techniques for improving the learning efficiency of reinforcement-learning algorithms in large-sca...
Carlos Diuk, Alexander L. Strehl, Michael L. Littm...
DAGM
2004
Springer
15 years 1 months ago
Phase Based Image Reconstruction in the Monogenic Scale Space
Abstract. In this paper, we present an approach for image reconstruction from local phase vectors in the monogenic scale space. The local phase vector contains not only the local p...
Di Zang, Gerald Sommer
CIE
2006
Springer
15 years 1 months ago
Forcing with Random Variables and Proof Complexity
or representation theory of groups), and even borrows abstract geometrical concepts like Euler characteristic or Grothendieck ring. However, the most stimulating for proof complexi...
Jan Krajícek