4286 search results - page 598 / 858 » Formalizing Service Interactions |
131
click to vote
PUC
2008
15 years 4 months ago
2008
: In computing design, experience is often broken down, compartmentalized, and engineered: a process that often disenchants the original experience. In this paper, we demonstrate t...
150
click to vote
IVA
2010
Springer
15 years 2 months ago
2010
Springer
Assistant Agents help ordinary people about computer tasks, in many ways, thanks to their rational reasoning capabilities about the current model of the world. However they face st...
151
click to vote
QEST
2010
IEEE
15 years 2 months ago
2010
IEEE
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
166
click to vote
ICMLA
2009
15 years 2 months ago
2009
Languages that combine predicate logic with probabilities are needed to succinctly represent knowledge in many real-world domains. We consider a formalism based on universally qua...
133
click to vote
HEURISTICS
2010
14 years 11 months ago
2010
The challenge in shift scheduling lies in the construction of a set of work shifts, which are subject to specific regulations, in order to cover fluctuating staff demands. This pro...