Sciweavers

8413 search results - page 1274 / 1683
» Ordering Problem Subgoals
Sort
View
CCIA
2005
Springer
16 years 7 days ago
Auctioning Substitutable Goods
In this paper we extend the notion of multi-unit combinatorial reverse auction by adding a new dimension to the goods at auction. In such a new type of combinatorial auction a buye...
Andrea Giovannucci, Juan A. Rodríguez-Aguil...
CHARME
2005
Springer
136views Hardware» more  CHARME 2005»
16 years 7 days ago
Acceleration of SAT-Based Iterative Property Checking
Today, verification is becoming the dominating factor for successful circuit designs. In this context formal verification techniques allow to prove the correctness of a circuit ...
Daniel Große, Rolf Drechsler
CIARP
2005
Springer
16 years 7 days ago
Non-supervised Classification of 2D Color Images Using Kohonen Networks and a Novel Metric
We describe the application of 1-Dimensional Kohonen Networks in the classification of color 2D images which has been evaluated in Popocatépetl Volcano’s images. The Popocatépe...
Ricardo Pérez-Aguila, Pilar Gómez-Gi...
CIKM
2005
Springer
16 years 7 days ago
Minimal document set retrieval
This paper presents a novel formulation and approach to the minimal document set retrieval problem. Minimal Document Set Retrieval (MDSR) is a promising information retrieval task...
Wei Dai, Rohini K. Srihari
CIKM
2005
Springer
16 years 7 days ago
Discretization based learning approach to information retrieval
We approached the problem as learning how to order documents by estimated relevance with respect to a user query. Our support vector machines based classifier learns from the rele...
Dmitri Roussinov, Weiguo Fan, Fernando A. Das Neve...
« Prev « First page 1274 / 1683 Last » Next »