6014 search results - page 925 / 1203 » Parametric Analysis of Computer Systems |
119
click to vote
ICITS
2009
15 years 2 months ago
2009
Abstract. The term indistinguishability amplification refers to a setting where a certain construction combines two (or more) cryptographic primitives of the same type to improve t...
172
click to vote
DPD
2010
15 years 2 months ago
2010
Abstract Bloom filters are extensively used in distributed applications, especially in distributed databases and distributed information systems, to reduce network requirements and...
137
click to vote
SCL
2010
14 years 11 months ago
2010
A class of binary decision-making tasks called the two-alternative forced-choice task has been used extensively in psychology and behavioral economics experiments to investigate h...
155
click to vote
TII
2010
14 years 11 months ago
2010
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (ContPNs). Specifically, we consider two problems: (1) given an initial set ...
158
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we present an integrated system for news video retrieval. The proposed system incorporates both speech and visual information in the search mechanisms. The initial ...