3820 search results - page 435 / 764 » Bounded Model Debugging |
116
click to vote
CORR
2006
Springer
15 years 3 months ago
2006
Springer
Solomonoff completed the Bayesian framework by providing a rigorous, unique, formal, and universal choice for the model class and the prior. We discuss in breadth how and in which...
139
click to vote
CSJM
2006
15 years 3 months ago
2006
Traveling Salesman Problem (TSP) is a generic name that includes diverse practical models. Motivated by applications, a new model of TSP is examined -- a synthesis of classical TS...
119
click to vote
IPL
2006
15 years 3 months ago
2006
We investigate the randomized and quantum communication complexity of the HAMMING DISTANCE problem, which is to determine if the Hamming distance between two n-bit strings is no l...
165
click to vote
KES
2006
Springer
15 years 3 months ago
2006
Springer
We consider a novel class of applications where a set of activities conducted by a group of people over a time period needs to be planned, taking into account each member's p...
143
click to vote
PPL
2006
15 years 3 months ago
2006
In the model of restricted parallel links, n users must be routed on m parallel links under the restriction that the link for each user be chosen from a certain set of allowed lin...