Sciweavers

1615 search results - page 14 / 323
» Computer science and decision theory
Sort
View
WSC
1996
13 years 8 months ago
Simulation for computer science majors: a preliminary report
The author is revising and restructuring an existing simulation course designed primarily for senior computer science majors by: 1) developing an integrated set of laboratory exer...
Ruth Silverman
HOA
1993
13 years 11 months ago
Theory Interpretation in Simple Type Theory
Theory interpretation is a logical technique for relating one axiomatic theory to another with important applications in mathematics and computer science as well as in logic itself...
William M. Farmer
MSS
2008
IEEE
72views Hardware» more  MSS 2008»
13 years 7 months ago
Measurable systems and behavioral sciences
Individual choices often depend on the order in which the decisions are made. In this paper, we expose a general theory of measurable systems (an example of which is an individual...
V. I. Danilov, Ariane Lambert-Mogiliansky
FOCS
1990
IEEE
13 years 11 months ago
Decision Problems for Propositional Linear Logic
Patrick Lincoln, John C. Mitchell, Andre Scedrov, ...
ACSC
2006
IEEE
13 years 11 months ago
Rule sets based bilevel decision model
Z. Zheng, G. Zhang, Q. He, J. Lu, Z. Shi