363 search results - page 41 / 73 » Partial Multicuts in Trees |
129
click to vote
ICFP
2007
ACM
16 years 4 months ago
2007
ACM
We present a pair of reasoning principles, definition and proof by rigid induction, which can be seen as proper generalizations of lazy-datatype induction to monadic effects other...
142
click to vote
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
— The paper presents a navigation algorithm for dynamic, uncertain environment. The static environment is unknown, while moving pedestrians are detected and tracked on-line. Pede...
108
click to vote
ICPR
2008
IEEE
15 years 10 months ago
2008
IEEE
A lot of image analysis problems lend themselves to a unified mathematical formulation as optimization problems. Tree-serial dynamic programming is a particular case of the so-cal...
128
click to vote
INLG
2004
Springer
15 years 9 months ago
2004
Springer
This paper describes an implemented model of context-based incremental tactical generation within the Dynamic Syntax framework [1] which directly reflects dialogue phenomena such ...
164
click to vote
HUMO
2007
Springer
15 years 8 months ago
2007
Springer
We propose a method to find candidate 2D articulated model configurations by searching for locally optimal configurations under a weak but computationally manageable fitness functi...