Sciweavers

207 search results - page 15 / 42
» ideas 1999
Sort
View
ISIPTA
1999
IEEE
101views Mathematics» more  ISIPTA 1999»
15 years 2 months ago
Open-frame Dempster Conditioning for Incomplete Interval Probabilities
The second author has put forward a theory of incomplete interval probabilities meant to give a common framework to both interval probabilities and openframe bodies of evidence, a...
Paola Castellan, Andrea Sgarro
ISMVL
1999
IEEE
90views Hardware» more  ISMVL 1999»
15 years 2 months ago
Transformations between Signed and Classical Clause Logic
In the last years two automated reasoning techniques for clause normal form arose in which the use of labels are prominently featured: signed logic and annotated logic programming...
Bernhard Beckert, Reiner Hähnle, Felip Many&a...
DL
1999
Springer
111views Digital Library» more  DL 1999»
15 years 2 months ago
TalkMine and the Adaptive Recommendation Project
TalkMine is an adaptive recommendation system which is both content-based and collaborative, and further allows the crossover of information among multiple databases searched by u...
Luis Mateus Rocha
IV
1999
IEEE
65views Visualization» more  IV 1999»
15 years 2 months ago
Display Models for Visualization
Models for visualization are important, helping the developer and user to understand the visualization process; to follow the connections and the data paths through the system; an...
Jonathan C. Roberts
EMMCVPR
1999
Springer
15 years 2 months ago
Auxiliary Variables for Markov Random Fields with Higher Order Interactions
Markov Random Fields are widely used in many image processing applications. Recently the shortcomings of some of the simpler forms of these models have become apparent, and models ...
Robin D. Morris