1200 search results - page 34 / 240 » Marked Ancestor Problems |
ICALP
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. We prove that the boundedness problem for monadic secondorder logic over the class of all finite words is decidable.
ACL
2009
13 years 7 months ago
2009
We define the problem of recognizing entailed relations
GECCO
2005
Springer
14 years 3 months ago
2005
Springer
We propose an evolutionary algorithm for the enhancement of digital semi-fragile watermaking based on the manipulation of the image discrete cosine transform (DCT). The algorithm ...
ISBI
2008
IEEE
14 years 10 months ago
2008
IEEE
We present here a method giving a robust segmentation for in vitro cells observed under standard phase-contrast microscopy. We tackle the problem using the watershed transform. Wa...
SIGMETRICS
2006
ACM
14 years 3 months ago
2006
ACM
A new methodology to assess transient performance measures of tree-like processes is proposed by introducing the concept of tree-like processes with marked time epochs. As opposed...