4036 search results - page 700 / 808 » Formal Methods |
226
click to vote
ECAI
2004
Springer
16 years 6 days ago
2004
Springer
The Hierarchical Hidden Markov Model (HHMM) is a well formalized tool suitable to model complex patterns in long temporal or spatial sequences. Even if effective algorithms are ava...
172
Voted
GECCO
2004
Springer
16 years 6 days ago
2004
Springer
Test case design is the most important test activity with respect to test quality. For this reason, a large number of testing methods have been developed to assist the tester with ...
230
click to vote
SCOPES
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Synthesis of digital signal processing (DSP) software from dataflow-based formal models is an effective approach for tackling the complexity of modern DSP applications. I...
172
click to vote
CODES
2003
IEEE
16 years 3 days ago
2003
IEEE
Current methods cannot synthesize real-time embedded software applications when the global deadline of a task is shorter than the total of all local deadlines along a critical pat...
188
click to vote
ICCV
2003
IEEE
16 years 3 days ago
2003
IEEE
This paper addresses the problem of computing the trajectory of a camera from sparse positional measurements that have been obtained from visual localisation, and dense differenti...