1272 search results - page 65 / 255 » The Set Cover with Pairs Problem |
97
Voted
CONCUR
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We consider the problem of verifying the safety of wellstructured transition systems (WSTS) with auxiliary storage. WSTSs with storage are automata that have (possibly) i...
111
Voted
PVLDB
2010
14 years 11 months ago
2010
Set similarity join has played an important role in many real-world applications such as data cleaning, near duplication detection, data integration, and so on. In these applicati...
117
click to vote
AMOST
2005
ACM
15 years 6 months ago
2005
ACM
Interaction testing is widely used in screening for faults. In software testing, it provides a natural mechanism for testing systems to be deployed on a variety of hardware and so...
132
Voted
JELIA
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Many proposals for logic-based formalizations of argumentation consider an argument as a pair (Φ, α), where the support Φ is understood as a minimal consistent subset ...
289
Voted
CVPR
2011
IEEE
14 years 8 months ago
2011
IEEE
This paper addresses the problem of simultaneous tracking of multiple targets in a video. We first apply object detectors to every video frame. Pairs of detection responses from ...