2455 search results - page 450 / 491 » Computability of Models for Sequence Assembly |
FORMATS
2004
Springer
15 years 3 months ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...
POLICY
2004
Springer
15 years 3 months ago
2004
Springer
As the interest in using policy-based approaches for systems management grows, it is becoming increasingly important to develop methods for performing analysis and refinement of p...
3DIM
2003
IEEE
15 years 3 months ago
2003
IEEE
We present an Augmented Reality system that relies on purely passive techniques to solve the real-time registration problem. It can run on a portable PC and does not require engin...
ISMIR
2003
Springer
15 years 3 months ago
2003
Springer
Music alignment links events in a score and points on the audio performance time axis. All the parts of a recording can be thus indexed according to score information. The automat...
ICDM
2002
IEEE
15 years 2 months ago
2002
IEEE
Temporal data mining aims at finding patterns in historical data. Our work proposes an approach to extract temporal patterns from data to predict the occurrence of target events,...