7988 search results - page 437 / 1598 » A Useful Undecidable Theory |
181
Voted
AIEDU
2007
15 years 7 months ago
2007
This paper describes a reflection-based approach for open learner modeling (OLM). Tutoring dialogues are used by learners to explicitly reveal their own knowledge state to themselv...
222
Voted
TPDS
2002
15 years 6 months ago
2002
The Internet is undergoing substantial changes from a communication and browsing infrastructure to a medium for conducting business and marketing a myriad of services. The World W...
192
click to vote
STOC
2003
ACM
16 years 7 months ago
2003
ACM
We give efficient algorithms to sample uniformly, and count approximately, the solutions to a zero-one knapsack problem. The algorithm is based on using dynamic programming to pro...
181
Voted
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
In this paper, for the first time, a theory for evaluating dynamic noise margins of SRAM cells is developed analytically. The results allow predicting the transient error suscepti...
178
Voted
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
The algebraic theory of finite groups appears in signal processing problems involving the statistical analysis of ranked data and the construction of invariants for pattern recog...