Sciweavers

3353 search results - page 44 / 671
» Laver and set theory
Sort
View
ENTCS
2006
110views more  ENTCS 2006»
14 years 9 months ago
First Steps in Synthetic Computability Theory
Computability theory, which investigates computable functions and computable sets, lies at the foundation of computer science. Its classical presentations usually involve a fair a...
Andrej Bauer
ETS
2002
IEEE
116views Hardware» more  ETS 2002»
14 years 9 months ago
Human Activity Systems: A Theoretical Framework for Designing Learning for Multicultural Settings
In the analysis of any learning environment, whether small or large, one observes within it a "set of human activities related to each other so they can be viewed as a whole&...
Jill Slay
TSE
1998
109views more  TSE 1998»
14 years 9 months ago
An Evaluation of the MOOD Set of Object-Oriented Software Metrics
—This paper describes the results of an investigation into a set of metrics for object-oriented design, called the MOOD metrics. The merits of each of the six MOOD metrics is dis...
Richard H. Carver, Steve Counsell, Reuben V. Nithi
SIGECOM
2011
ACM
215views ECommerce» more  SIGECOM 2011»
14 years 16 days ago
Reserve prices in internet advertising auctions: a field experiment
We present the results of a large field experiment on setting reserve prices in auctions for online advertisements, guided by the theory of optimal auction design suitably adapte...
Michael Ostrovsky, Michael Schwarz
EUSFLAT
2007
131views Fuzzy Logic» more  EUSFLAT 2007»
14 years 11 months ago
Fuzzy Logic as a Theory of Vagueness: 15 Conceptual Questions
In spite of its successes as a tool in the field of engineering, fuzzy set theory has yet to achieve the universal footing that probability theory has across the various fields ...
Jeremy Bradley