4224 search results - page 699 / 845 » Reasoning about Choice |
98
Voted
CORR
2008
Springer
15 years 28 days ago
2008
Springer
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...
96
Voted
CORR
2008
Springer
15 years 28 days ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
119
click to vote
CORR
2008
Springer
15 years 28 days ago
2008
Springer
We develop a general game-theoretic framework for reasoning about strategic agents performing possibly costly computation. In this framework, many traditional game-theoretic resul...
117
Voted
CORR
2008
Springer
15 years 28 days ago
2008
Springer
Many real-world data are maintained in relational format, with different tables storing information about entities and their links or relationships. The structure (schema) of the ...
112
Voted
CVIU
2008
15 years 28 days ago
2008
We propose a novel scheme for using supervised learning for function-based classification of objects in 3D images. During the learning process, a generic multi-level hierarchical ...