Sciweavers

169 search results - page 13 / 34
» Recent advancements of fuzzy sets: Theory and practice
Sort
View
CADE
2010
Springer
14 years 10 months ago
Bugs, Moles and Skeletons: Symbolic Reasoning for Software Development
Abstract. Symbolic reasoning is in the core of many software development tools such as: bug-finders, test-case generators, and verifiers. Of renewed interest is the use of symbolic...
Leonardo Mendonça de Moura, Nikolaj Bj&osla...
ECIR
2011
Springer
14 years 29 days ago
A Novel Re-ranking Approach Inspired by Quantum Measurement
Abstract. Quantum theory (QT) has recently been employed to advance the theory of information retrieval (IR). A typical method, namely the Quantum Probability Ranking Principle (QP...
Xiaozhao Zhao, Peng Zhang, Dawei Song, Yuexian Hou
NIPS
2000
14 years 10 months ago
High-temperature Expansions for Learning Models of Nonnegative Data
Recent work has exploited boundedness of data in the unsupervised learning of new types of generative model. For nonnegative data it was recently shown that the maximum-entropy ge...
Oliver B. Downs
TOG
2008
137views more  TOG 2008»
14 years 9 months ago
Efficient traversal of mesh edges using adjacency primitives
Processing of mesh edges lies at the core of many advanced realtime rendering techniques, ranging from shadow and silhouette computations, to motion blur and fur rendering. We pre...
Pedro V. Sander, Diego Nehab, Eden Chlamtac, Hugue...
FGR
2011
IEEE
244views Biometrics» more  FGR 2011»
14 years 28 days ago
Emotion representation, analysis and synthesis in continuous space: A survey
— Despite major advances within the affective computing research field, modelling, analysing, interpreting and responding to naturalistic human affective behaviour still remains...
Hatice Gunes, Björn Schuller, Maja Pantic, Ro...