Sciweavers

14084 search results - page 229 / 2817
» A Theory for Game Theories
Sort
View
FOCS
1995
IEEE
15 years 10 months ago
Pseudorandom Generators, Measure Theory, and Natural Proofs
We prove that if strong pseudorandom number generators exist, then the class of languages that have polynomialsized circuits (P/poly) is not measurable within exponential time, in...
Kenneth W. Regan, D. Sivakumar, Jin-yi Cai
IJCAI
2007
15 years 8 months ago
Progression of Situation Calculus Action Theories with Incomplete Information
In this paper, we propose a new progression mechanism for a restricted form of incomplete knowledge formulated as a basic action theory in the situation calculus. Specifically, w...
Stavros Vassos, Hector J. Levesque
ACE
2004
162views Education» more  ACE 2004»
15 years 8 months ago
Computing Theory With Relevance
In computer science education, the topic of computing theory is one that is commonly not well received by students. Career-oriented students often view the topic as irrelevant, an...
Wayne Brookes
FLAIRS
2006
15 years 8 months ago
Explicating Semantic Relations in Non-Monotonic Theories to Facilitate Validation Analysis
The inherent vagueness and ambiguity of non-monotonic reasoning makes it impossible to formulate detailed specifications to validate KBS performance by using traditional test-case...
Neli Zlatareva
ACE
2003
104views Education» more  ACE 2003»
15 years 8 months ago
Applying the Cognitive Flexibility Theory to Teaching Web Engineering
Web engineering constitutes the employment of an engineering approach to the development of Web applications. Its main teaching objectives are for students to learn what an engine...
Emilia Mendes