Sciweavers

10061 search results - page 1593 / 2013
» Statistical Models of Conditioning
Sort
View
IJCAI
1993
15 years 7 months ago
A Scheme for Agent Collaboration in Open Multiagent Environments
In multiagent planning, an agent sometimes needs to collaborate with others to construct complex plans, or to accomplish large organizational tasks which it cannot do alone. Since...
Eiichi Osawa
ATVA
2010
Springer
284views Hardware» more  ATVA 2010»
15 years 7 months ago
YAGA: Automated Analysis of Quantitative Safety Specifications in Probabilistic B
Probabilistic B (pB) [2, 8] extends classical B [7] to incorporate probabilistic updates together with the specification of quantitative safety properties. As for classical B, prob...
Ukachukwu Ndukwu, A. K. McIver
CDC
2009
IEEE
126views Control Systems» more  CDC 2009»
15 years 7 months ago
Reachability analysis for a class of Petri nets
In this paper, we study the reachability problem for the class of (strictly) monotone Petri nets that we define based on algebraic conditions. More specifically, given a (strictly)...
Yu Ru, Christoforos N. Hadjicostis
CVPR
2010
IEEE
15 years 6 months ago
Learning kernels for variants of normalized cuts: Convex relaxations and applications
We propose a new algorithm for learning kernels for variants of the Normalized Cuts (NCuts) objective – i.e., given a set of training examples with known partitions, how should ...
Lopamudra Mukherjee, Vikas Singh, Jiming Peng, Chr...
MOBIDE
2010
ACM
15 years 6 months ago
A cooperative spatial-aware cache for mobile environments
In many scenarios, particularly in military and emergency response operations, mobile nodes that are in close proximity to each other exhibit a high degree of data affinity. For ex...
Fernando J. Maymi, Manuel Rodriguez-Martinez, Wolf...
« Prev « First page 1593 / 2013 Last » Next »