462 search results - page 59 / 93 » Preference Reasoning |
SWAT
2010
Springer
13 years 6 months ago
2010
Springer
In this paper we describe an algorithm to approximately solve a class of semidefinite programs called covering semidefinite programs. This class includes many semidefinite programs...
ICSE
2009
IEEE-ACM
13 years 6 months ago
2009
IEEE-ACM
Challenges in the engineering of self-adaptive software have been recently discussed and summarized in a seminal research road map. Following it, we focus on requirements engineer...
FOSSACS
2011
Springer
13 years 7 days ago
2011
Springer
Dependently typed programs contain an excessive amount of static terms which are necessary to please the type checker but irrelevant for computation. To obtain reasonable performan...
HVEI
2009
13 years 6 months ago
2009
Much research has gone into developing methods for enhancing the contrast of displayed 3D scenes. In the current study, we investigated the perceptual impact of an algorithm recen...
CVPR
2012
IEEE
11 years 11 months ago
2012
IEEE
Modeling objects using formal grammars has recently regained much attention in computer vision. Probabilistic logic programming, such as Bilattice based Logical Reasoning (BLR), i...