Sciweavers

17582 search results - page 3345 / 3517
» From Distributed Sequential Computing to Distributed Paralle...
Sort
View
IANDC
2010
116views more  IANDC 2010»
15 years 1 months ago
Weak bisimulation is sound and complete for pCTL*
Abstract. We investigate weak bisimulation of probabilistic systems in the presence of nondeterminism, i.e. labelled concurrent Markov chains (LCMC) with silent transitions. We bui...
Josée Desharnais, Vineet Gupta, Radha Jagad...
ICRA
2010
IEEE
101views Robotics» more  ICRA 2010»
15 years 1 months ago
Searching for objects: Combining multiple cues to object locations using a maximum entropy model
— In this paper, we consider the problem of how background knowledge about usual object arrangements can be utilized by a mobile robot to more efficiently find an object in an ...
Dominik Joho, Wolfram Burgard
ICWS
2010
IEEE
15 years 1 months ago
Enhancing Scalability and Performance of Mashups Through Merging and Operator Reordering
Abstract—Recently, mashups are gaining tremendous popularity as an important Web 2.0 application. Mashups provide end-users with an opportunity to create personalized Web service...
Osama Al-Haj Hassan, Lakshmish Ramaswamy, John A. ...
IEEEMM
2010
102views more  IEEEMM 2010»
15 years 1 months ago
Printing in a Digital Age
:  Printing in a Digital Age Qian Lin, Jerry Liu, Daniel Tretter HP Laboratories HPL-2010-113 Paper has been used as an information medium for almost two thousand years. But dur...
Qian Lin, Jerry Liu, Daniel Tretter
IOR
2010
99views more  IOR 2010»
15 years 1 months ago
Dynamic Pricing with a Prior on Market Response
We study a problem of dynamic pricing faced by a vendor with limited inventory, uncertain about demand, aiming to maximize expected discounted revenue over an infinite time horiz...
Vivek F. Farias, Benjamin Van Roy
« Prev « First page 3345 / 3517 Last » Next »