941 search results - page 98 / 189 » The Second Order Particle System |
CLEF
2011
Springer
13 years 9 months ago
2011
Springer
Abstract In this paper, we describe a novel approach to intrinsic plagiarism detection. Each suspicious document is divided into a series of consecutive, potentially overlapping ā...
121
click to vote
EUROCRYPT
2010
Springer
15 years 2 months ago
2010
Springer
In this paper, we present two fully secure functional encryption schemes. Our ļ¬rst result is a fully secure attribute-based encryption (ABE) scheme. Previous constructions of AB...
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
Current trends in model construction in the ļ¬eld of agentbased computational economics base behavior of agents on either game theoretic procedures (e.g. belief learning, ļ¬ctit...
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
ā Application of Discrete Multi-tone (DMT) signaling to high-speed backplane interconnects requires major modifications to the well-known analysis methods applied to wireline com...
CAV
2001
Springer
15 years 2 months ago
2001
Springer
In formal veriļ¬cation, we verify that a system is correct with respect to a speciļ¬cation. When veriļ¬cation succeeds and the system is proven to be correct, there is still a q...