627 search results - page 89 / 126 » The Laplace-Jaynes approach to induction |
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
We define the reachability-bound problem to be the problem of finding a symbolic worst-case bound on the number of times a given control location inside a procedure is visited in ...
DSD
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract—Pulse-based data transmission has been demonstrated as a power-saving and high performance alternative to level-based signalling over global distances. Key to its correc...
TPHOL
2009
IEEE
15 years 5 months ago
2009
IEEE
Traditional security protocols are mainly concerned with key establishment and principal authentication and rely on predistributed keys and properties of cryptographic operators. I...
TPHOL
2009
IEEE
15 years 5 months ago
2009
IEEE
Psi-calculi are extensions of the pi-calculus, accommodating arbitrary nominal datatypes to represent not only data but also communication channels, assertions and conditions, givi...
ICDM
2007
IEEE
15 years 4 months ago
2007
IEEE
The problem of transfer learning, where information gained in one learning task is used to improve performance in another related task, is an important new area of research. While...