3742 search results - page 565 / 749 » On the Use of Formal Techniques for Validation |
179
click to vote
ICDM
2007
IEEE
16 years 24 days ago
2007
IEEE
Tree edit distance is one of the most frequently used distance measures for comparing trees. When using the tree edit distance, we need to determine the cost of each operation, bu...
149
click to vote
SIES
2007
IEEE
16 years 23 days ago
2007
IEEE
In our previous work [1], Full Duplex Switched Ethernet was put forward as an attractive candidate to replace the MIL-STD 1553B data bus, in next generation "1553B"embedd...
190
click to vote
VLDB
2007
ACM
16 years 18 days ago
2007
ACM
Many enterprises nowadays use business processes, based on the BPEL standard, to achieve their goals. These are complex, often distributed, processes. Monitoring the execution of ...
176
click to vote
CAV
2005
Springer
16 years 1 days ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
159
click to vote
ISMIR
2004
Springer
15 years 12 months ago
2004
Springer
We describe an efficient learning algorithm for aligning a symbolic representation of a musical piece with its acoustic counterpart. Our method employs a supervised learning appr...