4745 search results - page 43 / 949 » Discretization: An Enabling Technique |
162
click to vote
LOGCOM
2008
15 years 6 months ago
2008
Following recent developments in the topic of generalized quantifiers, and also having in mind applications in the areas of security and artificial intelligence, a conservative en...
169
click to vote
FUIN
2010
15 years 3 months ago
2010
Bounded Model Checking (BMC) is an efficient technique applicable to verification of temporal properties of (timed) distributed systems. In this paper we show for the first time ho...
165
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
In this paper, we present DeFer -- a fast, high-quality and nonstochastic fixed-outline floorplanning algorithm. DeFer generates a non-slicing floorplan by compacting a slicing fl...
176
click to vote
EDBT
2006
ACM
16 years 6 months ago
2006
ACM
In [12] we introduce a novel architecture for data processing, based on a functional fusion between a data and a computation layer. In this demo we show how this architecture is le...
155
click to vote
ACSAC
2009
IEEE
16 years 25 days ago
2009
IEEE
—We study a new application of threshold-based secret sharing in a distributed online social network (DOSN), where users need a means to back up and recover their private keys in...