1466 search results - page 261 / 294 » Complexity of Reasoning over Temporal Data Models |
125
Voted
ICML
2010
IEEE
15 years 4 months ago
2010
IEEE
We propose a max-margin formulation for the multi-label classification problem where the goal is to tag a data point with a set of pre-specified labels. Given a set of L labels, a...
146
Voted
FMICS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Bounded model checking (BMC) based on satisfiability testing (SAT) has been introduced as a complementary technique to BDDbased symbolic model checking of LTL properties ...
136
Voted
WS
2010
ACM
15 years 2 months ago
2010
ACM
One of the most important decisions researchers face when analyzing software systems is the choice of a proper data analysis/exchange format. In this paper, we present EvoOnt, a s...
135
Voted
COCO
2009
Springer
15 years 10 months ago
2009
Springer
—The Gap-Hamming-Distance problem arose in the context of proving space lower bounds for a number of key problems in the data stream model. In this problem, Alice and Bob have to...
158
Voted
INFOCOM
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Network coding is emerging as a promising alternative to traditional content distribution approaches in P2P networks. By allowing information mixture in peers, it simpli...