|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 31178 occurrences of 10306 keywords
|
|
|
Results
Found 68027 publication records. Showing 68027 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
66 | Alioune Ngom, Corina Reischer, Ivan Stojmenovic |
Classification of Functions and Enumeration of Bases of Set Logic under Boolean Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 25th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1995, Bloomington, Indiana, USA, May 23-25, 1995, Proceedings, pp. 78-85, 1995, IEEE Computer Society, 0-8186-7118-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
set logic bases enumeration, functions classification, Boolean compositions, r-valued set logic, n-tuples, B-maximal sets, set logic, one-place example function, one-place set logic functions, B-Sheffer functions, Boolean functions, Boolean functions, set theory, multivalued logic |
51 | Marc Mouffron |
Transitive q-Ary Functions over Finite Fields or Finite Sets: Counts, Properties and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAIFI ![In: Arithmetic of Finite Fields, 2nd International Workshop, WAIFI 2008, Siena, Italy, July 6-9, 2008, Proceedings, pp. 19-35, 2008, Springer, 978-3-540-69498-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
(sharply) t-transitive functions, balanced functions, functions over finite fields, hardware and software implementation, Symmetric functions |
48 | Amr M. Youssef, Guang Gong |
Hyper-bent Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT 2001, International Conference on the Theory and Application of Cryptographic Techniques, Innsbruck, Austria, May 6-10, 2001, Proceeding, pp. 406-419, 2001, Springer, 3-540-42070-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
hyper-bent functions, Boolean functions, nonlinearity, bent functions |
46 | Radomir S. Stankovic |
Functional Decision Diagrams for Multiple-Valued Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 25th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1995, Bloomington, Indiana, USA, May 23-25, 1995, Proceedings, pp. 284-289, 1995, IEEE Computer Society, 0-8186-7118-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
functional decision diagrams, uniform interpretation, binary switching functions, MV functions, Reed-Muller-Fourier representations, Reed-Muller-Fourier coefficients, decision theory, multivalued logic, Galois fields, Galois field, switching functions, multiple valued functions, multiple-valued functions |
46 | Jürg Kohlas, Paul-André Monney |
Representation of Evidence by Hints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Classic Works of the Dempster-Shafer Theory of Belief Functions ![In: Classic Works of the Dempster-Shafer Theory of Belief Functions, pp. 665-681, 2008, Springer, 978-3-540-25381-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Plausibility functions, Dempster’s rule, Evidence, Hints, Support functions |
44 | Chengxin Qu, Jennifer Seberry, Josef Pieprzyk |
On the Symmetric Property of Homogeneous Boolean Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACISP ![In: Information Security and Privacy, 4th Australasian Conference, ACISP'99, Wollongong, NSW, Australia, April 7-9, 1999, Proceedings, pp. 26-35, 1999, Springer, 3-540-65756-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
S-box Theory, Cryptographically Strong Boolean Functions, Homogeneous Functions, Symmetric Functions |
44 | Sihem Mesnager |
A New Family of Hyper-Bent Boolean Functions in Polynomial Form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMACC ![In: Cryptography and Coding, 12th IMA International Conference, Cryptography and Coding 2009, Cirencester, UK, December 15-17, 2009. Proceedings, pp. 402-417, 2009, Springer, 978-3-642-10867-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Hyper-bent functions, Maximum nonlinearity, Kloosterman sums, Cubic sums, Boolean function, Bent functions, Walsh-Hadamard transformation |
42 | Jonathan J. Hoch, Adi Shamir |
Breaking the ICE - Finding Multicollisions in Iterated Concatenated and Expanded (ICE) Hash Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSE ![In: Fast Software Encryption, 13th International Workshop, FSE 2006, Graz, Austria, March 15-17, 2006, Revised Selected Papers, pp. 179-194, 2006, Springer, 3-540-36597-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
iterated hash functions, tree based hash functions, multicollisions, cryptanalysis, Hash functions |
41 | Enrico Macii, Massimo Poncino |
Using symbolic Rademacher-Walsh spectral transforms to evaluate the correlation between Boolean functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Great Lakes Symposium on VLSI ![In: 5th Great Lakes Symposium on VLSI (GLS-VLSI '95), March 16-18, 1995, The State University of New York at Buffalo, USA, pp. 112-, 1995, IEEE Computer Society, 0-8186-7035-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
symbolic Rademacher-Walsh spectral transforms, integer-valued functions, transform matrices, spectral representations, function correlation, ADD-based algorithm, memory occupation, Boolean functions, Boolean functions, finite state machines, logic design, execution time, Walsh functions, transform domain, symbolic techniques |
40 | Glenn Shafer |
Belief Functions and Parametric Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Classic Works of the Dempster-Shafer Theory of Belief Functions ![In: Classic Works of the Dempster-Shafer Theory of Belief Functions, pp. 265-290, 2008, Springer, 978-3-540-25381-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Constructive probability, Dempster’s rule, Fiducial inference, Lower probabilities, Belief functions, Parametric models, Bayesian statistics, Exchangeability, Likelihood |
40 | Alioune Ngom, Corina Reischer, Dan A. Simovici, Ivan Stojmenovic |
Completeness Criteria in Set-Valued Logic Under Compositions with Union and Intersection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 27th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1997, Antigonish, Nova Scotia, Canada, May 28-30, 1997, Proceedings, pp. 75-82, 1997, IEEE Computer Society, 0-8186-7910-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
completeness criteria, set-valued logic, Boolean completeness problems, r-valued set logic, logic of functions, n-tuples, set logic circuits, S-complete, U-maximal sets, completeness criterion, U functions, compositions, Boolean functions, Boolean functions, intersection, union |
39 | Kyoichi Nakashima, Y. Nakamura, Noboru Takagi |
Logic Expressions of Monotonic Multiple-Valued Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 26th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1996, Santiago de Compostela, Spain, May 29-31, 1996, Proceedings, pp. 290-295, 1996, IEEE Computer Society, 0-8186-7392-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
partial-ordering relation, unary operators, monotonic multiple-valued functions, monotonic p-valued functions, multivalued logic, multiple-valued logic, multiple-valued functions, logic functions |
39 | Fung Yu Young, Chris C. N. Chu, D. F. Wong 0001 |
Generation of Universal Series-Parallel Boolean Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 46(3), pp. 416-435, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
series-parallel Boolean functions, universal functions, FPGA, technology mapping |
38 | Anne Lorette, Hassan Shekarforoush, Josiane Zerubia |
Super-Resolution with Adaptive Regularization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (1) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 169-172, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
adaptive regularization, multichannel super-resolution, high frequency information recovery, temporal bandwidth, regularity constraints, /spl phi/-functions, non-convex functions, unbounded functions, MAP criterion, Markov random fields, image reconstruction, image resolution, cost function, discontinuities, convex functions, Bayesian framework, ill-posed problem, bounded functions |
38 | Tsutomu Sasao, Jon T. Butler |
Planar Multiple-Valued Decision Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 25th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1995, Bloomington, Indiana, USA, May 23-25, 1995, Proceedings, pp. 28-35, 1995, IEEE Computer Society, 0-8186-7118-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
planar multiple-valued decision diagrams, monotone increasing functions, binary functions, field programmable gate arrays, programmable logic arrays, multivalued logic circuits, threshold logic, symmetric functions, threshold functions |
37 | Lars R. Knudsen, Xuejia Lai, Bart Preneel |
Attacks on Fast Double Block Length Hash Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cryptol. ![In: J. Cryptol. 11(1), pp. 59-72, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Cryptanalysis, Cryptanalysis, Block ciphers, Block ciphers, Key words, Cryptographic hash functions, Cryptographic hash functions, Birthday attacks, Birthday attacks, Double block length hash functions, Double block length hash functions |
37 | Xiaolin Wang, Jianqin Zhou, Yubing Zang |
A note on homogeneous bent functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD (2) ![In: Proceedings of the 8th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2007, July 30 - August 1, 2007, Qingdao, China, pp. 138-142, 2007, IEEE Computer Society, 0-7695-2909-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
semi bent functions, homogeneous bent functions, Walsh cyclic spectrum, Bent functions |
37 | Yuliang Zheng 0001, Xian-Mo Zhang |
Improved Upper Bound on the Nonlinearity of High Order Correlation Immune Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Selected Areas in Cryptography ![In: Selected Areas in Cryptography, 7th Annual International Workshop, SAC 2000, Waterloo, Ontario, Canada, August 14-15, 2000, Proceedings, pp. 262-274, 2000, Springer, 3-540-42069-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Correlation Immune Functions, Plateaued Functions, Stream Ciphers, Nonlinearity, Resilient Functions |
37 | Noboru Takagi, Y. Nakamura, Kyoichi Nakashima |
Set-Valued Functions and Regularity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 27th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1997, Antigonish, Nova Scotia, Canada, May 28-30, 1997, Proceedings, pp. 89-96, 1997, IEEE Computer Society, 0-8186-7910-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
set-valued functions, propositional connectives, n-variable ternary functions, /spl tau/-valued functions, regularity, multivalued logic, ternary logic |
37 | Amr M. Youssef, Guang Gong |
Boolean Functions with Large Distance to All Bijective Monomials: N Odd Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Selected Areas in Cryptography ![In: Selected Areas in Cryptography, 8th Annual International Workshop, SAC 2001 Toronto, Ontario, Canada, August 16-17, 2001, Revised Papers, pp. 49-59, 2001, Springer, 3-540-43066-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
hyper-bent functions, extended Hadamard transform, Legendre sequences, Boolean functions, nonlinearity |
36 | Philippe Smets |
Belief Functions: The Disjunctive Rule of Combination and the Generalized Bayesian Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Classic Works of the Dempster-Shafer Theory of Belief Functions ![In: Classic Works of the Dempster-Shafer Theory of Belief Functions, pp. 633-664, 2008, Springer, 978-3-540-25381-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Bayes’ theorem, Disjunctive rule of combination, Belief functions |
36 | D. E. Amos |
A Remark on Algorithm 644: A Portable Package for Bessel Functions of a Complex Argument and Nonnegative Order. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 21(4), pp. 388-393, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
H, K and Y Bessel functions, complex Airy functions, complex Bessel functions, derivatives of Airy functions, log gamma function, J, I |
35 | Jean-Luc Marichal, Radko Mesiar |
Aggregation on Finite Ordinal Scales by Scale Independent Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 21(2), pp. 155-180, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
finite ordinal scales, order invariant functions, smooth discrete functions, lattice polynomials, aggregation functions |
35 | Alan L. Selman |
Much Ado about Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: Proceedings of the Eleveth Annual IEEE Conference on Computational Complexity, Philadelphia, Pennsylvania, USA, May 24-27, 1996, pp. 198-212, 1996, IEEE Computer Society, 0-8186-7386-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
multivalued functions, search functions, hierarchies, one-way functions, complexity classes |
35 | John Regehr, Usit Duongsaa |
Deriving abstract transfer functions for analyzing embedded software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2006 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'06), Ottawa, Ontario, Canada, June 14-16, 2006, pp. 34-43, 2006, ACM, 1-59593-362-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
static analysis, abstract interpretation, embedded software, transfer functions |
34 | Nevin Lianwen Zhang |
Weights of Evidence and Internal Conflict for Support Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Classic Works of the Dempster-Shafer Theory of Belief Functions ![In: Classic Works of the Dempster-Shafer Theory of Belief Functions, pp. 411-418, 2008, Springer, 978-3-540-25381-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Liping Liu, Ronald R. Yager |
Classic Works of the Dempster-Shafer Theory of Belief Functions: An Introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Classic Works of the Dempster-Shafer Theory of Belief Functions ![In: Classic Works of the Dempster-Shafer Theory of Belief Functions, pp. 1-34, 2008, Springer, 978-3-540-25381-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Jean-Marc Vannobel |
Continuous Belief Functions: Focal Intervals Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Belief Functions ![In: Belief Functions: Theory and Applications - Proceedings of the 2nd International Conference on Belief Functions, Compiègne, France, 9-11 May 2012, pp. 93-100, 2012, Springer, 978-3-642-29460-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
34 | Marie-Hélène Masson, Thierry Denoeux |
Ranking from Pairwise Comparisons in the Belief Functions Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Belief Functions ![In: Belief Functions: Theory and Applications - Proceedings of the 2nd International Conference on Belief Functions, Compiègne, France, 9-11 May 2012, pp. 311-318, 2012, Springer, 978-3-642-29460-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
34 | Anthony Fiche, Arnaud Martin, Jean-Christophe Cexus, Ali Khenchaf |
A Comparison between a Bayesian Approach and a Method Based on Continuous Belief Functions for Pattern Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Belief Functions ![In: Belief Functions: Theory and Applications - Proceedings of the 2nd International Conference on Belief Functions, Compiègne, France, 9-11 May 2012, pp. 53-60, 2012, Springer, 978-3-642-29460-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
34 | Mustapha Réda Senouci, Abdelhamid Mellouk, Latifa Oukhellou, Amar Aissani |
Using the Belief Functions Theory to Deploy Static Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Belief Functions ![In: Belief Functions: Theory and Applications - Proceedings of the 2nd International Conference on Belief Functions, Compiègne, France, 9-11 May 2012, pp. 425-432, 2012, Springer, 978-3-642-29460-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
34 | Fatma Karem, Mounir Dhibi, Arnaud Martin |
Combination of Supervised and Unsupervised Classification Using the Theory of Belief Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Belief Functions ![In: Belief Functions: Theory and Applications - Proceedings of the 2nd International Conference on Belief Functions, Compiègne, France, 9-11 May 2012, pp. 85-92, 2012, Springer, 978-3-642-29460-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
34 | Hung T. Nguyen 0002 |
On Belief Functions and Random Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Belief Functions ![In: Belief Functions: Theory and Applications - Proceedings of the 2nd International Conference on Belief Functions, Compiègne, France, 9-11 May 2012, pp. 1-19, 2012, Springer, 978-3-642-29460-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
34 | Felipe Aguirre, Mohamed Sallak, Walter Schön, Fabien Belmonte |
A Quantitative Study of the Occurrence of a Railway Accident Based on Belief Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Belief Functions ![In: Belief Functions: Theory and Applications - Proceedings of the 2nd International Conference on Belief Functions, Compiègne, France, 9-11 May 2012, pp. 433-440, 2012, Springer, 978-3-642-29460-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
34 | Loïc Fricoteaux, Indira Thouvenin, Jérôme Olive, Paul George |
Evidential Network with Conditional Belief Functions for an Adaptive Training in Informed Virtual Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Belief Functions ![In: Belief Functions: Theory and Applications - Proceedings of the 2nd International Conference on Belief Functions, Compiègne, France, 9-11 May 2012, pp. 417-424, 2012, Springer, 978-3-642-29460-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
34 | Nicolas Sutton-Charani, Sébastien Destercke, Thierry Denoeux |
Classification Trees Based on Belief Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Belief Functions ![In: Belief Functions: Theory and Applications - Proceedings of the 2nd International Conference on Belief Functions, Compiègne, France, 9-11 May 2012, pp. 77-84, 2012, Springer, 978-3-642-29460-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
34 | Frédéric Pichon |
On the α-Conjunctions for Combining Belief Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Belief Functions ![In: Belief Functions: Theory and Applications - Proceedings of the 2nd International Conference on Belief Functions, Compiègne, France, 9-11 May 2012, pp. 285-292, 2012, Springer, 978-3-642-29460-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
34 | Alessandro Antonucci 0001 |
An Interval-Valued Dissimilarity Measure for Belief Functions Based on Credal Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Belief Functions ![In: Belief Functions: Theory and Applications - Proceedings of the 2nd International Conference on Belief Functions, Compiègne, France, 9-11 May 2012, pp. 37-44, 2012, Springer, 978-3-642-29460-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
34 | Mouna Chebbah, Arnaud Martin, Boutheina Ben Yaghlane |
About Sources Dependence in the Theory of Belief Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Belief Functions ![In: Belief Functions: Theory and Applications - Proceedings of the 2nd International Conference on Belief Functions, Compiègne, France, 9-11 May 2012, pp. 239-246, 2012, Springer, 978-3-642-29460-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
34 | Emmanuel Ramasso, Michèle Rombaut, Noureddine Zerhouni |
Prognostic by Classification of Predictions Combining Similarity-Based Estimation and Belief Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Belief Functions ![In: Belief Functions: Theory and Applications - Proceedings of the 2nd International Conference on Belief Functions, Compiègne, France, 9-11 May 2012, pp. 61-68, 2012, Springer, 978-3-642-29460-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
34 | Mikhail Timonin |
Choquet Integral as Maximum of Integrals with Respect to Belief Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Belief Functions ![In: Belief Functions: Theory and Applications - Proceedings of the 2nd International Conference on Belief Functions, Compiègne, France, 9-11 May 2012, pp. 117-124, 2012, Springer, 978-3-642-29460-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
34 | Sébastien Destercke, Thomas Burger |
Revisiting the Notion of Conflicting Belief Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Belief Functions ![In: Belief Functions: Theory and Applications - Proceedings of the 2nd International Conference on Belief Functions, Compiègne, France, 9-11 May 2012, pp. 153-160, 2012, Springer, 978-3-642-29460-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
34 | Arnaud Roquel, Sylvie Le Hégarat-Mascle, Isabelle Bloch, Bastien Vincke |
A New Local Measure of Disagreement between Belief Functions - Application to Localization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Belief Functions ![In: Belief Functions: Theory and Applications - Proceedings of the 2nd International Conference on Belief Functions, Compiègne, France, 9-11 May 2012, pp. 335-342, 2012, Springer, 978-3-642-29460-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
34 | Thomas Burger, Sébastien Destercke |
Random Generation of Mass Functions: A Short Howto. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Belief Functions ![In: Belief Functions: Theory and Applications - Proceedings of the 2nd International Conference on Belief Functions, Compiègne, France, 9-11 May 2012, pp. 145-152, 2012, Springer, 978-3-642-29460-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
34 | Arnaud Martin |
About Conflict in the Theory of Belief Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Belief Functions ![In: Belief Functions: Theory and Applications - Proceedings of the 2nd International Conference on Belief Functions, Compiègne, France, 9-11 May 2012, pp. 161-168, 2012, Springer, 978-3-642-29460-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
34 | Valery A. Vardanian |
On completely robust path delay fault testable realization of logic functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 14th IEEE VLSI Test Symposium (VTS'96), April 28 - May 1, 1996, Princeton, NJ, USA, pp. 302-307, 1996, IEEE Computer Society, 0-8186-7304-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
robust path delay fault testable realization, two-level completely RPDFT realization, RPDFT-extension, input variables, VLSI, VLSI, fault diagnosis, logic testing, delays, Boolean functions, Boolean functions, integrated circuit testing, combinational circuits, combinational circuits, multivalued logic circuits, symmetric functions |
34 | Jechang Jeong, Byeungwoo Jeon |
Use of a class of two-dimensional functions for blocking artifacts reduction in image coding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 478-481, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
blocking artifacts reduction, least square block discontinuity, block boundaries, boundary orthogonal 2D functions, DCT based compressed images, 2D DCT functions, data compression, image coding, image coding, discrete cosine transforms, functions, experimental results, least squares approximations, transform coding, postprocessing, inner product, coefficients |
33 | Rajendra P. Srivastava, Glenn R. Shafer |
Belief-Function Formulas for Audit Risk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Classic Works of the Dempster-Shafer Theory of Belief Functions ![In: Classic Works of the Dempster-Shafer Theory of Belief Functions, pp. 577-618, 2008, Springer, 978-3-540-25381-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Audit risk, Planning model, Belief functions, Evaluation model |
33 | Gang Wang, Qishan Zhang |
The novel generating algorithm and properties of hybrid-P-ary generalized bridge functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 49(2), pp. 228-234, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
hybrid-P-ary generalized Walsh functions, hybrid-P-ary generalized shift copy, hybrid-P-ary generalized bridge functions |
33 | Selçuk Kavut, Melek D. Yücel |
Generalized Rotation Symmetric and Dihedral Symmetric Boolean Functions - 9 Variable Boolean Functions with Nonlinearity 242. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAECC ![In: Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 17th International Symposium, AAECC-17, Bangalore, India, December 16-20, 2007, Proceedings, pp. 321-329, 2007, Springer, 978-3-540-77223-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Rotation symmetric boolean functions, dihedral symmetric boolean functions, nonlinearity |
32 | Akitoshi Kawamura |
Differential recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 10(3), pp. 22:1-22:22, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
differentially algebraic functions, real recursive functions, transcendentally transcendental functions, initial value problems, Analog computation |
32 | Tsutomu Sasao, Jon T. Butler |
Comparison of the Worst and Best Sum-of-Products Expressions for Multiple-Valued Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 27th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1997, Antigonish, Nova Scotia, Canada, May 28-30, 1997, Proceedings, pp. 55-60, 1997, IEEE Computer Society, 0-8186-7910-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
best sum-of-products expressions, worst sum-of-products expressions, logic design algorithms, product terms, multiple-valued variables, upper bound, switching functions, switching functions, multiple-valued functions |
32 | Stan Z. Li, Y. H. Huang, J. S. Fu |
Convex MRF potential functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 296-299, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
convex MRF potential functions, discontinuity preserving MRF restoration models, Bayesian image MRF models, computational properties, adaptive interaction functions, Markov processes, image restoration, regularization, functions, Bayes methods, ill-posed problems |
32 | Hui Min Wang, Chung-Len Lee 0001, Jwu E. Chen |
Factorization of Multi-Valued Logic Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 25th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1995, Bloomington, Indiana, USA, May 23-25, 1995, Proceedings, pp. 164-169, 1995, IEEE Computer Society, 0-8186-7118-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
multi-valued logic function factorization, multi valued logic functions, rectangular covering problem, MVL algebraic factorization algorithm, MVL Boolean properties, purely algebraic factorization algorithm, multilevel implementation, Boolean method, MVL example functions, computational complexity, complexity, Boolean functions, multivalued logic |
32 | Alain Chateauneuf, Jean-Yves Jaffray |
Some Characterizations of Lower Probabilities and Other Monotone Capacities through the use of Möbius Inversion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Classic Works of the Dempster-Shafer Theory of Belief Functions ![In: Classic Works of the Dempster-Shafer Theory of Belief Functions, pp. 477-498, 2008, Springer, 978-3-540-25381-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Lower probabilities, Möbius inversion, Representation of uncertainty, Capacities, Decision theory, Belief functions |
32 | Luca Breveglieri, Alessandra Cherubini, Marco Macchetti |
On the Generalized Linear Equivalence of Functions Over Finite Fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT ![In: Advances in Cryptology - ASIACRYPT 2004, 10th International Conference on the Theory and Application of Cryptology and Information Security, Jeju Island, Korea, December 5-9, 2004, Proceedings, pp. 79-91, 2004, Springer, 3-540-23975-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
linear equivalence, APN functions, Boolean functions, differential cryptanalysis, S-boxes, linear cryptanalysis |
32 | Boutheina Ben Yaghlane, Philippe Smets, Khaled Mellouli |
Directed Evidential Networks with Conditional Belief Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 7th European Conference, ECSQARU 2003, Aalborg, Denmark, July 2-5, 2003. Proceedings, pp. 291-305, 2003, Springer, 3-540-40494-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
conditional belief functions, directed evidential networks, belief functions, transferable belief model |
32 | Jeffrey A. Bloom, Todd R. Reed |
An uncertainty analysis of some real functions for image processing applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (3) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 670-673, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
real functions, analyzing functions, joint locality, local function families, Gabor's joint uncertainty, numerical basis, Hermite function, Gabor cosine, image processing, image compression, uncertainty analysis, Gaussian derivative, uncertainty principle, image processing applications, visual applications |
31 | Glenn Shafer |
Allocations of Probability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Classic Works of the Dempster-Shafer Theory of Belief Functions ![In: Classic Works of the Dempster-Shafer Theory of Belief Functions, pp. 183-196, 2008, Springer, 978-3-540-25381-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Allocation of probability, Upper and lower probabilities, Capacity, Continuity, Belief function, Condensability |
31 | Yoshinori Yamamoto, Masao Mukaidono |
P-Functions-Ternary Logic Functions Capable of Correcting Input Failures and Suitable for Treating Ambiguities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 41(1), pp. 28-35, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
P-functions, ternary logic functions, input failures, regular ternary logic, all-prime-implicant disjoint, Boolean connective, irredundant disjunctive form, Boolean functions, ambiguities, ternary logic |
31 | K. S. Kölbig |
Certification of algorithm 292 [S22]: regular coulomb wave functions and of remark on algorithm 292 [S22]: regular coulomb wave functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 12(5), pp. 278-279, 1969. The full citation details ...](Pics/full.jpeg) |
1969 |
DBLP DOI BibTeX RDF |
Coulomb wave functions, regular Coulomb wave functions, wave functions |
31 | Thomas Peyrin, Henri Gilbert, Frédéric Muller, Matthew J. B. Robshaw |
Combining Compression Functions and Block Cipher-Based Hash Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT ![In: Advances in Cryptology - ASIACRYPT 2006, 12th International Conference on the Theory and Application of Cryptology and Information Security, Shanghai, China, December 3-7, 2006, Proceedings, pp. 315-331, 2006, Springer, 3-540-49475-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
block ciphers, hash functions, compression functions |
31 | Jan C. Bioch, Toshihide Ibaraki |
Generating and Approximating Nondominated Coteries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 6(9), pp. 905-914, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Almost-self-dual functions, nondominated coteries, positive Boolean functions, self-dual functions, mutual-exclusion, coteries, monotone Boolean functions, dualization |
31 | Vishwani D. Agrawal, David Lee 0001 |
Characteristic polynomial method for verification and test of combinational circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 9th International Conference on VLSI Design (VLSI Design 1996), 3-6 January 1996, Bangalore, India, pp. 341-342, 1996, IEEE Computer Society, 0-8186-7228-5. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
combinational circuit test, randomly selected integers, input variables, integer-valued transform functions, fixed domain, multiple samples, randomly selected real numbers, output logic, logic testing, probability, Boolean functions, Boolean functions, combinational circuits, polynomials, error probability, characteristic polynomial |
31 | Tapas Kanungo, David M. Gay, Robert M. Haralick |
Constrained monotone regression of ROC curves and histograms using splines and polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 292-295, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
monotonically decreasing curves, single valued functions, parametric splines, parametric polynomials, monotonicity constraints, optimal operating points, cumulative density functions, monotonic splines, fitted spline function, end-point constraints, constrained monotone regression problem, mathematical programming language, AMPL, programming languages, statistical analysis, histograms, mathematical programming, curve fitting, curve fitting, splines (mathematics), receivers, ROC curves, receiver operating characteristics, parametric representation, density functions, closed form |
31 | Joseph Abate, Ward Whitt |
The Fourier-series method for inverting transforms of probability distributions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 10(1-2), pp. 5-87, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
Computational probability, numerical inversion of transforms, calculating tail probabilities, Poisson summation formula, the Fourier-series method, the Gaver-Stehfest method, Fourier transforms, numerical integration, generating functions, Fourier series, characteristic functions, Laplace transforms, cumulative distribution functions |
31 | Roumen Anguelov, Svetoslav Markov, Blagovest Sendov |
The Set of Hausdorff Continuous Functions - The Largest Linear Space of Interval Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Comput. ![In: Reliab. Comput. 12(5), pp. 337-363, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Tsutomu Sasao, Jon T. Butler |
Worst and Best Irredundant Sum-of-Products Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 50(9), pp. 935-948, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
complete sum-of-products expressions, irredundant sum-of-products, heuristic minimization, minimum sum-of-products expressions, worst sum-of-products expressions, graph enumeration, minimally strongly connected digraphs, Logic minimization, prime implicants, symmetric functions, multiple-output functions |
30 | Lars Eirik Danielsen, Matthew Geoffrey Parker, Patrick Solé |
The Rayleigh Quotient of Bent Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMACC ![In: Cryptography and Coding, 12th IMA International Conference, Cryptography and Coding 2009, Cirencester, UK, December 15-17, 2009. Proceedings, pp. 418-432, 2009, Springer, 978-3-642-10867-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Rayleigh quotient, plateaued functions, Boolean functions, bent functions, Walsh Hadamard transform |
30 | Norbert Pramstaller, Mario Lamberger, Vincent Rijmen |
Second Preimages for Iterated Hash Functions and Their Implications on MACs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACISP ![In: Information Security and Privacy, 12th Australasian Conference, ACISP 2007, Townsville, Australia, July 2-4, 2007, Proceedings, pp. 68-81, 2007, Springer, 978-3-540-73457-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
iterated hash functions, block-cipher based hash functions, differential cryptanalysis, second preimage, double block-length hash functions |
30 | F. Sokhatsky |
The Deepest Repetition-Free Decompositions of Non-Singular Functions of Finite-Valued Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 26th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1996, Santiago de Compostela, Spain, May 29-31, 1996, Proceedings, pp. 279-283, 1996, IEEE Computer Society, 0-8186-7392-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
nonsingular functions, finite-valued logics, repetition-free, isotopy change, commutation change, associative change, Boolean functions, Boolean functions, multivalued logic, three-valued logics |
30 | Dan A. Simovici, Corina Reischer |
Several Remarks on the Complexity of Set-Valued Switching Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 26th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1996, Santiago de Compostela, Spain, May 29-31, 1996, Proceedings, pp. 166-171, 1996, IEEE Computer Society, 0-8186-7392-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
set-valued switching functions, complexity of circuits, set-valued logic functions, complete basis, Boolean components, non-Boolean components, computational complexity, complexity, Boolean algebra, switching functions |
30 | Tsutomu Sasao, Jon T. Butler |
A Method to Represent Multiple-Output Switching Functions by Using Multi-Valued Decision Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 26th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1996, Santiago de Compostela, Spain, May 29-31, 1996, Proceedings, pp. 248-254, 1996, IEEE Computer Society, 0-8186-7392-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
multiple-output switching functions, multi-terminal, multivalued logic, decision tables, computation time, switching functions, switching functions, multi-valued decision diagrams |
30 | Stephen A. Fenner, Frederic Green, Steven Homer, Alan L. Selman, Thomas Thierauf, Heribert Vollmer |
Complements of Multivalued Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: Proceedings of the Eleveth Annual IEEE Conference on Computational Complexity, Philadelphia, Pennsylvania, USA, May 24-27, 1996, pp. 260-269, 1996, IEEE Computer Society, 0-8186-7386-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
multivalued functions, NPMV functions, coNPMV, complete functions, query hierarchy, functional analogue, Boolean hierarchy, computational complexity, complexity, multivalued logic, polynomial time hierarchy |
30 | Noboru Takagi, Hiroaki Kikuchi, Kyoichi Nakashima, Masao Mukaidono |
A Characterization of Kleenean Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 25th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1995, Bloomington, Indiana, USA, May 23-25, 1995, Proceedings, pp. 236-241, 1995, IEEE Computer Society, 0-8186-7118-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Kleenean functions, fuzzy logic functions, constants, indeterminate truth value condition handling, ambiguous states, fuzzy logic, functions, fuzzy set theory, multivalued logic |
30 | Norman Y. Foo |
Comments on "Defining Software by Continuous Smooth Functions''. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(3), pp. 307-309, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
comparable complexity, natural measure, computational complexity, software metrics, programs, Boolean functions, Boolean functions, smooth functions |
30 | Divyendu Sinha, Charles R. Giardina |
Discrete Black and White Object Recognition via Morphological Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 12(3), pp. 275-293, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
black-and-white object recognition, discrete object recognition, geometric characterization, morphological functions, covariance functions, size distribution functions, scale correction, algebraic characterization, induced equivalent classes, strongly attached pixel, structure preserving operation, pattern recognition, picture processing, binary images, discrete structure |
30 | Pedro Antonio Gutiérrez, César Hervás-Martínez, Mariano Carbonero-Ruz, Juan Carlos Fernández 0001 |
Combined Projection and Kernel Basis Functions for Classification in Evolutionary Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innovations in Hybrid Intelligent Systems ![In: Innovations in Hybrid Intelligent Systems, pp. 88-95, 2008, Springer, 978-3-540-74971-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
projection basis functions, kernel basis functions, classification, evolutionary neural networks |
30 | Shinobu Nagayama, Tsutomu Sasao |
Representations of Two-Variable Elementary Functions Using EVMDDs and their Applications to Function Generators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 38th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2008), 22-23 May 2008, Dallas, Texas, USA, pp. 50-56, 2008, IEEE Computer Society, 978-0-7695-3155-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
EVMDD, EVBDD, two-variable elementary functions, l-restricted Mp-monotone increasing functions, function generators |
30 | Szymon Jaroszewicz, Dan A. Simovici |
On Axiomatization of Conditional Entropy of Functions Between Finite Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 29th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1999, Freiburg im Breisgau, Germany, May 20-22, 1999, Proceedings, pp. 24-28, 1999, IEEE Computer Society, 0-7695-0161-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
functions between finite sets, entropy, axiomatization, logic functions, conditional entropy |
30 | Philippe Smets, Robert Kennes |
The Transferable Belief Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Classic Works of the Dempster-Shafer Theory of Belief Functions ![In: Classic Works of the Dempster-Shafer Theory of Belief Functions, pp. 693-736, 2008, Springer, 978-3-540-25381-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
quantified beliefs, Dempster-Shafer theory, Belief function |
30 | Anton Setzer |
Partial Recursive Functions in Martin-Löf Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings, pp. 505-515, 2006, Springer, 3-540-35466-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Martin-Löf type theory, Kleene index, Kleene brackets, partial recursive functions, inductive-recursive definitions, indexed induction-recursion, computability theory, recursion theory |
30 | Don E. Ross, Kenneth M. Butler, M. Ray Mercer |
Exact ordered binary decision diagram size when representing classes of symmetric functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 2(3), pp. 243-259, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Boolean function representation, Binary decision diagram, symbolic simulation, symmetric functions, ordered binary decision diagram |
29 | Stanislava S. Stoilova |
Applications of Price Functions and Haar Type Functions to the Numerical Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NAA ![In: Numerical Analysis and Its Applications, Third International Conference, NAA 2004, Rousse, Bulgaria, June 29 - July 3, 2004, Revised Selected Papers, pp. 503-510, 2004, Springer, 3-540-24937-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Good lattice points, Price functions, Haar type functions, Estimation of the error, Numerical integration |
29 | Dieter Spreen |
On Functions Computable in Nondeterministic Polynomial Time: Some Characterizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: CSL '87, 1st Workshop on Computer Science Logic, Karlsruhe, Germany, October 12-16, 1987, Proceedings, pp. 289-303, 1987, Springer, 3-540-50241-6. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
29 | Imen Hammami, Jean Dezert, Grégoire Mercier, Atef Hamouda |
On the Estimation of Mass Functions Using Self Organizing Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Belief Functions ![In: Belief Functions: Theory and Applications - Third International Conference, BELIEF 2014, Oxford, UK, September 26-28, 2014. Proceedings, pp. 275-283, 2014, Springer, 978-3-319-11190-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
29 | Mira Bou Farah, David Mercier, François Delmotte, Eric Lefèvre, Sylvain Lagrue |
Methods Handling Accident and Traffic Jam Information with Belief Functions in VANETs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Belief Functions ![In: Belief Functions: Theory and Applications - Third International Conference, BELIEF 2014, Oxford, UK, September 26-28, 2014. Proceedings, pp. 124-133, 2014, Springer, 978-3-319-11190-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
29 | Liping Liu |
A Relational Representation of Belief Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Belief Functions ![In: Belief Functions: Theory and Applications - Third International Conference, BELIEF 2014, Oxford, UK, September 26-28, 2014. Proceedings, pp. 161-170, 2014, Springer, 978-3-319-11190-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
29 | Narjes Ben Hariz, Boutheina Ben Yaghlane |
Learning Parameters in Directed Evidential Networks with Conditional Belief Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Belief Functions ![In: Belief Functions: Theory and Applications - Third International Conference, BELIEF 2014, Oxford, UK, September 26-28, 2014. Proceedings, pp. 294-303, 2014, Springer, 978-3-319-11190-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
29 | Ahmad Osman, Valérie Kaftandjian, Ulf Hassler |
Application of Belief Functions Theory to Non Destructive Testing of Industrial Pieces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Belief Functions ![In: Belief Functions: Theory and Applications - Third International Conference, BELIEF 2014, Oxford, UK, September 26-28, 2014. Proceedings, pp. 209-218, 2014, Springer, 978-3-319-11190-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
29 | Andrey G. Bronevich, Igor N. Rozenberg |
The Choice of Generalized Dempster-Shafer Rules for Aggregating Belief Functions Based on Imprecision Indices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Belief Functions ![In: Belief Functions: Theory and Applications - Third International Conference, BELIEF 2014, Oxford, UK, September 26-28, 2014. Proceedings, pp. 21-28, 2014, Springer, 978-3-319-11190-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
29 | Orakanya Kanjanatarakul, Philai Lertpongpiroon, Sombat Singkharat, Songsak Sriboonchitta |
Econometric Forecasting Using Linear Regression and Belief Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Belief Functions ![In: Belief Functions: Theory and Applications - Third International Conference, BELIEF 2014, Oxford, UK, September 26-28, 2014. Proceedings, pp. 304-312, 2014, Springer, 978-3-319-11190-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
29 | Kittawit Autchariyapanitkul, Somsak Chanaim, Songsak Sriboonchitta, Thierry Denoeux |
Predicting Stock Returns in the Capital Asset Pricing Model Using Quantile Regression and Belief Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Belief Functions ![In: Belief Functions: Theory and Applications - Third International Conference, BELIEF 2014, Oxford, UK, September 26-28, 2014. Proceedings, pp. 219-226, 2014, Springer, 978-3-319-11190-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
29 | Milan Daniel |
Conflict between Belief Functions: A New Measure Based on Their Non-conflicting Parts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Belief Functions ![In: Belief Functions: Theory and Applications - Third International Conference, BELIEF 2014, Oxford, UK, September 26-28, 2014. Proceedings, pp. 321-330, 2014, Springer, 978-3-319-11190-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
29 | John Klein, Mehena Loudahi, Jean-Marc Vannobel, Olivier Colot |
α-Junctions of Categorical Mass Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Belief Functions ![In: Belief Functions: Theory and Applications - Third International Conference, BELIEF 2014, Oxford, UK, September 26-28, 2014. Proceedings, pp. 1-10, 2014, Springer, 978-3-319-11190-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
29 | Thierry Denoeux, Marie-Hélène Masson (eds.) |
Belief Functions: Theory and Applications - Proceedings of the 2nd International Conference on Belief Functions, Compiègne, France, 9-11 May 2012 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Belief Functions ![Springer, 978-3-642-29460-0 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Nicole El Zoghby, Véronique Cherfaoui, Bertrand Ducourthial, Thierry Denoeux |
Distributed Data Fusion for Detecting Sybil Attacks in VANETs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Belief Functions ![In: Belief Functions: Theory and Applications - Proceedings of the 2nd International Conference on Belief Functions, Compiègne, France, 9-11 May 2012, pp. 351-358, 2012, Springer, 978-3-642-29460-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Nadia Ben Abdallah, Nassima Mouhous Voyneau, Thierry Denoeux |
Combining Statistical and Expert Evidence within the D-S Framework: Application to Hydrological Return Level Estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Belief Functions ![In: Belief Functions: Theory and Applications - Proceedings of the 2nd International Conference on Belief Functions, Compiègne, France, 9-11 May 2012, pp. 393-400, 2012, Springer, 978-3-642-29460-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Bastien Pietropaoli, Michele Dominici, Frédéric Weis |
Belief Inference with Timed Evidence - Methodology and Application Using Sensors in a Smart Home. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Belief Functions ![In: Belief Functions: Theory and Applications - Proceedings of the 2nd International Conference on Belief Functions, Compiègne, France, 9-11 May 2012, pp. 409-416, 2012, Springer, 978-3-642-29460-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Jirina Vejnarová |
On Random Sets Independence and Strong Independence in Evidence Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Belief Functions ![In: Belief Functions: Theory and Applications - Proceedings of the 2nd International Conference on Belief Functions, Compiègne, France, 9-11 May 2012, pp. 247-254, 2012, Springer, 978-3-642-29460-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 68027 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|