Sciweavers

3505 search results - page 49 / 701
» Information Theory and the IrisCode
Sort
View
ICTAI
2010
IEEE
14 years 7 months ago
Revision Rules in the Theory of Evidence
Abstract--Combination rules proposed so far in the DempsterShafer theory of evidence, especially Dempster rule, rely on a basic assumption, that is, pieces of evidence being combin...
Jianbing Ma, Weiru Liu, Didier Dubois, Henri Prade
MKM
2007
Springer
15 years 3 months ago
Formal Representation of Mathematics in a Dependently Typed Set Theory
Abstract. We have formalized material from an introductory real analysis textbook in the proof assistant Scunak. Scunak is a system based on set theory encoded in a dependent type ...
Feryal Fulya Horozal, Chad E. Brown
ECTEL
2006
Springer
15 years 1 months ago
Ontological Support for a Theory-Eclectic Approach to Instructional and Learning Design
Enhancement of learning with technology has been accelerating thanks to the advancement of information technology (IT) and the development of IT standards for learning. The purpose...
Yusuke Hayashi, Jacqueline Bourdeau, Riichiro Mizo...
RSKT
2009
Springer
15 years 4 months ago
Three-Way Decision: An Interpretation of Rules in Rough Set Theory
Abstract. A new interpretation of rules in rough set theory is introduced. According to the positive, boundary, and negative regions of a set, one can make a three-way decision: ac...
Yiyu Yao
CISS
2008
IEEE
15 years 4 months ago
Game theory for heterogeneous flow control
—A general framework is developed for networks with flows that use all available congestion signals to regulate their rates. It is conceptually a generalization of the existing ...
Ao Tang, Lachlan L. H. Andrew