1871 search results - page 88 / 375 » The Ephemeral Pairing Problem |
ATAL
2003
Springer
15 years 4 months ago
2003
Springer
We show how it is possible to pair the NuSMV model checker with Akka, a software platform used to check validity of propositional modal formulas, to verify properties of multi-age...
136
click to vote
ESA
2010
Springer
15 years 10 days ago
2010
Springer
We consider the Minimum Vertex Cover problem in intersection graphs of axis-parallel rectangles on the plane. We present two algorithms: The first is an EPTAS for non-crossing rect...
MM
2010
ACM
14 years 11 months ago
2010
ACM
In this paper, we consider the incoherence problem of the visual words in bag-of-words vocabularies. Different from existing work, which performs assignment of words based solely ...
102
click to vote
CORR
2006
Springer
14 years 11 months ago
2006
Springer
We consider the problem of network coding across multiple unicasts. We give, for wired and wireless networks, efficient polynomial time algorithms for finding optimal network code...
IJNSEC
2008
14 years 11 months ago
2008
A scheme for general group oriented ID-based cryptosystems is proposed. This scheme allows an authorized subset in the general access structure to cooperatively decrypt the cipher...