17366 search results - page 21 / 3474 » New Revision Algorithms |
CONCUR
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. The technique of partial order reduction (POR) for probabilistic model checking prunes the state space of the model so that a maximizing scheduler and a minimizing one pe...
HICSS
2007
IEEE
14 years 4 months ago
2007
IEEE
Online service quality is a much-studied concept. Despite this, dimensions that make up service quality, and the items used to measure those dimensions have proven unstable. It is...
LOGCOM
2008
13 years 9 months ago
2008
We look at the problem in belief revision of trying to make inferences about what an agent believed--or will believe--at a given moment, based on an observation of how the agent h...
ECAI
1994
Springer
14 years 1 months ago
1994
Springer
The ability to respond sensibly to changing and conflicting beliefs is an integral part of intelligent agency. To this end, we outline the design and implementation of a Distribute...
JCIT
2007
13 years 9 months ago
2007
Business Process Reengineering is a reverse design process that allows for radical improvement in quality, service, cycle times, productivity and cost for a specific market or cus...