1901 search results - page 265 / 381 » Predicting Program Properties from |
171
Voted
CAV
1994
Springer
15 years 7 months ago
1994
Springer
We introduce event-recording automata. An event-recording automaton is a timed automaton that contains, for every event a, a clock that records the time of the last occurrence of a...
128
click to vote
AUSAI
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Association rule mining is a data mining technique that reveals interesting relationships in a database. Existing approaches employ different parameters to search for int...
131
click to vote
BIBE
2004
IEEE
15 years 6 months ago
2004
IEEE
Large-scale biomedical data sets of macromolecular structures such as DNA and proteins describe highly complex biomolecular entities which often consist of thousands of atoms and ...
112
Voted
CIT
2006
Springer
15 years 6 months ago
2006
Springer
In this paper we proposed some flexible methods, which are useful in the process of voice conversion. The proposed methods modify the shape of the vocal tract system and the chara...
114
click to vote
WSC
2007
15 years 5 months ago
2007
One of the most important gaps in road safety management practises is the lack of mature methods for estimating reliability. Road safety performance assessment systems have been d...