2393 search results - page 177 / 479 » Fuzzy-UCS: preliminary results |
169
click to vote
ISSAC
2005
Springer
16 years 7 days ago
2005
Springer
This paper presents a duality analysis and an algorithm for computing the multiplicity structure of a zero to a polynomial system, while the zero can be exact or approximate with ...
187
click to vote
PADL
2005
Springer
16 years 6 days ago
2005
Springer
We describe the design of the OLPS system, an implementation of the preferred answer set semantics for ordered logic programs. The basic algorithm we propose computes the extended ...
186
click to vote
SPIN
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Software model checking problems generally contain two different types of non-determinism: 1) non-deterministically chosen values; 2) the choice of interleaving among th...
209
click to vote
WIRN
2005
Springer
16 years 6 days ago
2005
Springer
Recursive neural networks are a powerful tool for processing structured data. According to the recursive learning paradigm, the input information consists of directed positional ac...
134
click to vote
ACMDIS
2004
ACM
16 years 4 days ago
2004
ACM
We present a preliminary and ongoing study into intimate objects: technological devices for maintaining intimacy at a distance. We use the notion of critical technical practice to...