Sciweavers

2393 search results - page 91 / 479
» Fuzzy-UCS: preliminary results
Sort
View
ISSAC
2005
Springer
105views Mathematics» more  ISSAC 2005»
15 years 11 months ago
Lifting techniques for triangular decompositions
We present lifting techniques for triangular decompositions of zero-dimensional varieties, that extend the range of the previous methods. We discuss complexity aspects, and report...
Xavier Dahan, Marc Moreno Maza, Éric Schost...
LPNMR
2005
Springer
15 years 11 months ago
Pbmodels - Software to Compute Stable Models by Pseudoboolean Solvers
Abstract. We describe a new software, pbmodels, that uses pseudo-boolean constraint solvers (PB solvers) to compute stable models of logic programs with weight atoms. To this end, ...
Lengning Liu, Miroslaw Truszczynski
PAM
2005
Springer
15 years 11 months ago
Practical Passive Lossy Link Inference
We propose a practical technique for the identification of lossy network links from end-to-end measurements. Our scheme is based on a function that computes the likelihood of each...
Alexandros Batsakis, Tanu Malik, Andreas Terzis
PERVASIVE
2005
Springer
15 years 11 months ago
Ubiquitous Computing for the Public
Despite the progress made in Ubiquitous Computing since it was first envisaged back in 1987 [1], its use is still isolated to the research community. In this paper, we present why...
Patrik Osbakk, Erik Rydgren
WIRN
2005
Springer
15 years 11 months ago
Ensembles Based on Random Projections to Improve the Accuracy of Clustering Algorithms
We present an algorithmic scheme for unsupervised cluster ensembles, based on randomized projections between metric spaces, by which a substantial dimensionality reduction is obtai...
Alberto Bertoni, Giorgio Valentini