2490 search results - page 101 / 498 » The Generalized Theory of Model Preference |
133
click to vote
TLCA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Programming languages theory is full of problems that reduce to proving the consistency of a logic, such as the normalization of typed lambda-calculi, the decidability of...
102
click to vote
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
This paper extends basic software-testing theory to software components and adds explicit state to the theory. The resulting theory e enough to abstractly model the construction o...
144
click to vote
UMUAI
2010
15 years 2 months ago
2010
Information about interactive virtual environments, such as games, is perceived by users through a virtual camera. While most interactive applications let users control the camera,...
138
click to vote
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
The paper presents an extension of Vose’s Markov chain model for genetic algorithm (GA). The model contains not only standard genetic operators such as mutation and crossover bu...
169
click to vote
ALGORITHMICA
2011
14 years 8 months ago
2011
Algorithms for determining quality/cost/price tradeoffs in saturated markets are consid-3 ered. A product is modeled by d real-valued qualities whose sum determines the unit cost ...