Sciweavers

1916 search results - page 330 / 384
» Reasoning with class algebra
Sort
View
ICML
1996
IEEE
14 years 29 days ago
Discovering Structure in Multiple Learning Tasks: The TC Algorithm
Recently, there has been an increased interest in "lifelong" machine learning methods, that transfer knowledge across multiple learning tasks. Such methods have repeated...
Sebastian Thrun, Joseph O'Sullivan
VLDB
1997
ACM
104views Database» more  VLDB 1997»
14 years 29 days ago
A Generic Approach to Bulk Loading Multidimensional Index Structures
Abstract: Recently there has been an increasing interest in supporting bulk operations on multidimensional index structures. Bulk loading refers to the process of creating an initi...
Jochen Van den Bercken, Bernhard Seeger, Peter Wid...
ACNS
2009
Springer
150views Cryptology» more  ACNS 2009»
14 years 25 days ago
How to Compare Profiled Side-Channel Attacks?
Side-channel attacks are an important class of attacks against cryptographic devices and profiled side-channel attacks are the most powerful type of side-channel attacks. In this s...
François-Xavier Standaert, François ...
AOSD
2007
ACM
14 years 25 days ago
Improve pointcut definitions with program views
Aspect-oriented programming languages select join points using pointcut constructs that depend on the syntactic structure of the base program. As the base program evolves, the poi...
Zifu Yang, Tian Zhao
CSFW
2010
IEEE
14 years 22 days ago
A Machine-Checked Formalization of Sigma-Protocols
—Zero-knowledge proofs have a vast applicability in the domain of cryptography, stemming from the fact that they can be used to force potentially malicious parties to abide by th...
Gilles Barthe, Daniel Hedin, Santiago Zanella B&ea...