1188 search results - page 141 / 238 » States of Knowledge |
105
click to vote
POPL
2012
ACM
13 years 6 months ago
2012
ACM
There has been great progress in recent years on developing effective techniques for reasoning about program equivalence in ML-like languages—that is, languages that combine fea...
101
click to vote
ISPD
2010
ACM
15 years 5 months ago
2010
ACM
Thermal/power issues have become increasingly important with more and more transistors being put on a single chip. Many dynamic thermal/power management techniques have been propo...
JELIA
2010
Springer
14 years 9 months ago
2010
Springer
Stable belief sets were introduced by R. Stalnaker in the early ’80s, as a formal representation of the epistemic state for an ideal introspective agent. This notion motivated M...
AIEDU
2005
14 years 11 months ago
2005
The Bayesian framework offers a number of techniques for inferring an individual's knowledge state from evidence of mastery of concepts or skills. A typical application where ...
ELPUB
2006
ACM
15 years 5 months ago
2006
ACM
This contribution presents the concept and analyses the path of diffusion of an innovative publishing idea that originated in one speciality in physics and is now about to spread ...