Sciweavers

3328 search results - page 220 / 666
» On Plateaued Functions and Their Constructions
Sort
View
CRYPTO
2001
Springer
144views Cryptology» more  CRYPTO 2001»
15 years 11 months ago
Parallel Coin-Tossing and Constant-Round Secure Two-Party Computation
In this paper we show that any two-party functionality can be securely computed in a constant number of rounds, where security is obtained against malicious adversaries that may ar...
Yehuda Lindell
SIGMOD
1999
ACM
112views Database» more  SIGMOD 1999»
15 years 11 months ago
A New Method for Similarity Indexing of Market Basket Data
In recent years, many data mining methods have been proposed for finding useful and structured information from market basket data. The association rule model was recently propos...
Charu C. Aggarwal, Joel L. Wolf, Philip S. Yu
GM
1999
Springer
15 years 11 months ago
Data-Dependent Triangulation in the Plane with Adaptive Knot Placement
In many applications one is concerned with the approximation of functions from a finite set of scattered data sites with associated function values. We describe a scheme for cons...
René Schätzl, Hans Hagen, James C. Bar...
CAV
1998
Springer
108views Hardware» more  CAV 1998»
15 years 11 months ago
Decomposing the Proof of Correctness of pipelined Microprocessors
We present a systematic approach to decompose and incrementally build the proof of correctness of pipelined microprocessors. The central idea is to construct the abstraction funct...
Ravi Hosabettu, Mandayam K. Srivas, Ganesh Gopalak...
SEAAI
1998
Springer
15 years 10 months ago
CAD modelling in multidisciplinary design domains
In a multidisciplinary design environment, such as the architecture, engineering and construction (AEC) domain, the various designers will have their own views, concepts and repre...
Michael A. Rosenman, John S. Gero