7289 search results - page 149 / 1458 » A Dependent Set Theory |
157
click to vote
ICSE
2005
IEEE-ACM
16 years 5 months ago
2005
IEEE-ACM
Many software properties can be analysed through a relational size analysis on each function's inputs and outputs. Such relational analysis (through a form of dependent typin...
197
click to vote
LICS
2009
IEEE
16 years 7 days ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
204
click to vote
IEEEICCI
2006
IEEE
15 years 11 months ago
2006
IEEE
The original rough set model is concerned primarily with the approximation of sets described by single binary relation on universe. In the view of granular computing, classical ro...
135
Voted
SEMWEB
2005
Springer
15 years 11 months ago
2005
Springer
This work derives and simulates two choice models applying the weighted utility theory, a generalization of the expected utility theory. It shows one set of assumptions, which jus...
142
Voted
TCS
2008
15 years 5 months ago
2008
We develop a unified framework for dealing with constructibility and absoluteness in set theory, decidability of relations in effective structures (like the natural numbers), and ...