Sciweavers

5227 search results - page 163 / 1046
» Constructing New Media
Sort
View
INDOCRYPT
2007
Springer
16 years 1 months ago
X-FCSR - A New Software Oriented Stream Cipher Based Upon FCSRs
Abstract. Feedback with Carry Shift Registers (FCSRs) are a promising alternative to LFSRs in the design of stream ciphers. The previous constructions based on FCSRs were dedicated...
François Arnault, Thierry P. Berger, C&eacu...
ICOIN
2005
Springer
16 years 17 days ago
A New Congestion Control Mechanism of TCP with Inline Network Measurement
In this paper, we propose a novel congestion control mechanism of TCP, by using an inline network measurement technique. By using information of available bandwidth of a network pa...
Tomohito Iguchi, Go Hasegawa, Masayuki Murata
PPDP
2005
Springer
16 years 17 days ago
A new calculus of contexts
We study contexts (terms with holes) by proposing a ‘λcalculus with holes’. It is very expressive and can encode programming constructs apparently unrelated to contexts, incl...
Murdoch Gabbay
LICS
2003
IEEE
16 years 10 days ago
New Directions in Instantiation-Based Theorem Proving
We consider instantiation-based theorem proving whereby instances of clauses are generated by certain inferences, and where inconsistency is detected by propositional tests. We gi...
Harald Ganzinger, Konstantin Korovin
201
Voted
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