2989 search results - page 99 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
CORR
2011
Springer
14 years 4 months ago
2011
Springer
This paper introduces a new method for proving global stability of fluid flows through the construction of Lyapunov functionals. For finite dimensional approximations of fluid...
ICPR
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper we propose a novel technique to image completion that addresses image renaissance through a graph-based matching process. To this end, a number of candidate seeds wi...
DALT
2009
Springer
15 years 4 months ago
2009
Springer
In this paper, we investigate the multiagent planning problem in the presence of cooperative actions and agents, which have their own goals and are willing to cooperate. To this en...
132
click to vote
CVPR
2010
IEEE
15 years 6 months ago
2010
IEEE
We present a region-based active contour detection algorithm
for objects that exhibit relatively homogeneous photometric
characteristics (e.g. smooth color or gray levels),
embe...
ECAI
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. Scheduling meetings is generally difficult in that it attempts to satisfy the preferences of all participants. However, all participants can agree to a schedule in which...