128
click to vote
ICALP
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We prove that the boundedness problem for monadic secondorder logic over the class of all finite words is decidable.
159
click to vote
ICAC
2009
IEEE
15 years 8 months ago
2009
IEEE
In large-scale, distributed software systems, an important management undertaking concerns the creation and runtime modification of application instances. This short paper propose...
163
click to vote
ICIAR
2007
Springer
15 years 8 months ago
2007
Springer
This paper presents a novel surveillance video indexing and retrieval system based on object features similarity measurement. The system firstly extracts moving objects from the vi...
131
click to vote
ICA3PP
2009
Springer
15 years 8 months ago
2009
Springer
Stereoscopic scenes of the mankind is naturally caused by synthesizing two images produced by the parallax of the two eyes of human. Such being the case, mankind can distinguish t...
124
click to vote
ICIAR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Random Amplified Polymorphism DNA (RAPD) analysis is a wellknown method for studying genetic relationships between individuals. In this context, processing the underlying...