8838 search results - page 198 / 1768 » Generalizing Domain Theory |
146
click to vote
PADL
2004
Springer
15 years 10 months ago
2004
Springer
Temporal media is information that is directly consumed by a user, and that varies with time. Examples include music, digital sound files, computer animations, and video clips. I...
131
click to vote
ILP
2000
Springer
15 years 8 months ago
2000
Springer
Induction of recursive theories in the normal ILP setting is a complex task because of the non-monotonicity of the consistency property. In this paper we propose computational solu...
125
click to vote
DESRIST
2009
Springer
15 years 8 months ago
2009
Springer
Online communities are increasingly important in modern social life. Yet, the diverse collection of guidelines that have directed online community design may not be keeping pace w...
147
click to vote
DAGSTUHL
2007
15 years 6 months ago
2007
This paper presents a complete survey of the use of homotopy methods in game theory. Homotopies allow for a robust computation of game-theoretic equilibria and their refinements....
293
click to vote
SCIA
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. Variational frameworks based on level set methods are popular for the general problem of image segmentation. They combine different feature channels in an energy minimiz...