Sciweavers

664 search results - page 126 / 133
» Solution to the Counterfeit Coin Problem and its Generalizat...
Sort
View
SAS
1994
Springer
159views Formal Methods» more  SAS 1994»
14 years 15 days ago
Iterative Fixed Point Computation for Type-Based Strictness Analysis
Amtoft has formulated an "on-line" constraint normalization method for solving a strictness inference problem inspired by Wright. From the syntactic form of the normaliz...
Fritz Henglein
ICLP
2010
Springer
14 years 9 days ago
Tight Semantics for Logic Programs
We define the Tight Semantics (TS), a new semantics for all NLPs complying with the requirements of: 2-valued semantics; preserving the models of SM; guarantee of model existence...
Luís Moniz Pereira, Alexandre Miguel Pinto
ATAL
2008
Springer
13 years 10 months ago
Not all agents are equal: scaling up distributed POMDPs for agent networks
Many applications of networks of agents, including mobile sensor networks, unmanned air vehicles, autonomous underwater vehicles, involve 100s of agents acting collaboratively und...
Janusz Marecki, Tapana Gupta, Pradeep Varakantham,...
IVC
2007
99views more  IVC 2007»
13 years 8 months ago
On the Bayes fusion of visual features
We consider the problem of image classification when more than one visual feature is available. In such cases, Bayes fusion offers an attractive solution by combining the result...
Xiaojin Shi, Roberto Manduchi
INFOCOM
2010
IEEE
13 years 6 months ago
A Reaction-Diffusion Model for Epidemic Routing in Sparsely Connected MANETs
—We propose and investigate a deterministic traveling wave model for the progress of epidemic routing in disconnected mobile ad hoc networks. In epidemic routing, broadcast or un...
Daniel J. Klein, João Pedro Hespanha, Upama...