46 search results - page 5 / 10 » A Topological Method for Finding Invariant Sets of Continuou... |
FORMATS
2006
Springer
14 years 6 days ago
2006
Springer
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...
ICDCS
2010
IEEE
13 years 10 months ago
2010
IEEE
Continuously monitoring the link performance is important to network diagnosis. Recently, active probes sent between end systems are widely used to monitor the link performance. I...
CLOR
2006
14 years 8 days ago
2006
We describe an approach to object retrieval which searches for and localizes all the occurrences of an object in a video, given a query image of the object. The object is represent...
ICPR
2000
IEEE
14 years 9 months ago
2000
IEEE
We propose an algorithm to find piecewise linear skeletons of hand-written characters by using principal curves. The development of the method was inspired by the apparent similar...
BMCBI
2007
13 years 8 months ago
2007
Background: The problem of protein structure prediction consists of predicting the functional or native structure of a protein given its linear sequence of amino acids. This probl...