7167 search results - page 38 / 1434 » A Technique for Invariant Generation |
117
click to vote
ATMOS
2010
15 years 27 days ago
2010
The aim of the train timetabling problem is to find a conflict free timetable for a set of passenger and freight trains along their routes in an infrastructure network. Several ...
115
click to vote
ICASSP
2008
IEEE
15 years 8 months ago
2008
IEEE
Digital images can be captured or generated by a variety of sources including digital cameras, scanners and computer graphics softwares. In many cases it is important to be able t...
107
click to vote
IDEAS
2005
IEEE
15 years 7 months ago
2005
IEEE
The resource requirements of frequent pattern mining algorithms depend mainly on the length distribution of the mined patterns in the database. Synthetic databases, which are used...
124
click to vote
GPCE
2005
Springer
15 years 7 months ago
2005
Springer
One of the themes in building reusable and maintainable software is identifying similarities and designing generic solutions to unify similarity patterns. In this paper, we analyze...
125
click to vote
ISQED
2011
IEEE
14 years 5 months ago
2011
IEEE
Due to the dramatic increase in design complexity, verifying the functional correctness of a circuit is becoming more difficult. Therefore, bugs may escape all verification effo...