3379 search results - page 591 / 676 » Powers of Two |
145
Voted
POPL
2010
ACM
16 years 27 days ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
143
Voted
SDM
2009
SIAM
16 years 21 days ago
2009
SIAM
Graph classification is an increasingly important step in numerous application domains, such as function prediction of molecules and proteins, computerised scene analysis, and an...
114
Voted
SDM
2009
SIAM
16 years 21 days ago
2009
SIAM
Most pattern discovery algorithms easily generate very large numbers of patterns, making the results impossible to understand and hard to use. Recently, the problem of instead sel...
128
Voted
ALT
2004
Springer
16 years 14 days ago
2004
Springer
Different formal learning models address different aspects of learning. Below we compare learning via queries—interpreting learning as a one-shot process in which the learner i...
152
Voted
ICCD
2002
IEEE
16 years 13 days ago
2002
IEEE
A large and increasing number of modern embedded systems are subject to tight power/energy constraints. It has been demonstrated that the operating system (OS) can have a signifi...