Sciweavers

2822 search results - page 337 / 565
» Mining Optimized Ranges
Sort
View
ICML
2004
IEEE
16 years 7 months ago
Support vector machine learning for interdependent and structured output spaces
Learning general functional dependencies is one of the main goals in machine learning. Recent progress in kernel-based methods has focused on designing flexible and powerful input...
Ioannis Tsochantaridis, Thomas Hofmann, Thorsten J...
CADE
2009
Springer
16 years 6 months ago
Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method
The inverse method is a generic proof search procedure applicable to non-classical logics satisfying cut elimination and the subformula property. In this paper we describe a genera...
Sean McLaughlin, Frank Pfenning
EDBT
2002
ACM
132views Database» more  EDBT 2002»
16 years 6 months ago
A Framework for the Physical Design Problem for Data Synopses
Maintaining statistics on multidimensional data distributions is crucial for predicting the run-time and result size of queries and data analysis tasks with acceptable accuracy. To...
Arnd Christian König, Gerhard Weikum
154
Voted
EDBT
2004
ACM
162views Database» more  EDBT 2004»
16 years 6 months ago
Non-contiguous Sequence Pattern Queries
Abstract. Non-contiguous subsequence pattern queries search for symbol instances in a long sequence that satisfy some soft temporal constraints. In this paper, we propose a methodo...
Nikos Mamoulis, Man Lung Yiu
EUROSYS
2010
ACM
16 years 3 months ago
Dr. Multicast: Rx for Data Center Communication Scalability
Data centers avoid IP Multicast because of a series of problems with the technology. We propose Dr. Multicast (MCMD), a system that maps IPMC operations to a combination of point-...
Ymir Vigfusson, Hussam Abu-Libdeh, Mahesh Balakris...