2496 search results - page 291 / 500 » On covering by translates of a set |
150
click to vote
PRL
2008
15 years 6 months ago
2008
A novel method of snakes with shape prior is presented in this paper. We propose to add a new force which makes the curve evolve to particular shape corresponding to a template to...
158
click to vote
BC
2005
15 years 6 months ago
2005
A neural architecture is presented that encodes the visual space inside and outside of a shape. The contours of a shape are propagated across an excitable neuronal map and fed thro...
165
click to vote
JALC
2007
15 years 6 months ago
2007
Inspired by the results obtained in the string case, we present in this paper the extension of the correction queries to regular tree languages. Relying on Angluin’s and Sakakib...
175
click to vote
JOLLI
2007
15 years 6 months ago
2007
This paper presents an approach to artificial intelligence planning based on linear temporal logic (LTL). A simple and easy-to-use planning language is described, PDDL-K (Planning...
158
click to vote
ENTCS
2002
15 years 6 months ago
2002
This paper presents PLCTools, a formal environment for designing and simulating programmable controllers. Control models are specified with IEC FBD (Function Block Diagram), and t...