6800 search results - page 509 / 1360 » Testing with Functions as Specifications |
183
click to vote
CGI
2001
IEEE
15 years 11 months ago
2001
IEEE
We use relaxation to produce painted imagery from images and video. An energy function is first specified; we then search for a painting with minimal energy. The appeal of this st...
186
click to vote
AAAI
2008
15 years 10 months ago
2008
Partially Observable Markov Decision Processes have been studied widely as a model for decision making under uncertainty, and a number of methods have been developed to find the s...
199
click to vote
AAAI
2010
15 years 9 months ago
2010
The precise specification of reward functions for Markov decision processes (MDPs) is often extremely difficult, motivating research into both reward elicitation and the robust so...
188
click to vote
IJCIS
2006
15 years 7 months ago
2006
entifies three levels of abstraction for resource requirements a service provider needs to manage, detailed specification of raw resources, virtualization of heterogeneous resource...
192
click to vote
SIGECOM
2008
ACM
15 years 7 months ago
2008
ACM
In this paper, we study the price of anarchy of traffic routing, under the assumption that users are partially altruistic or spiteful. We model such behavior by positing that the ...