1397 search results - page 198 / 280 » On the Need for Practical Formal Methods |
149
click to vote
SIGITE
2005
ACM
15 years 10 months ago
2005
ACM
This paper describes a novel approach to teaching computer networking through packet traces of actual network traffic. The paper describes a set of exercises that use packet trace...
124
click to vote
CP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Much progress has been made in terms of boosting the effectiveness of backtrack style search methods. In addition, during the last decade, a much better understanding of ...
144
click to vote
MM
2003
ACM
15 years 9 months ago
2003
ACM
Several time series matching techniques have been proposed for content-based music retrieval. These techniques represent a melody by a time series of pitch values and use time war...
166
click to vote
AUSAI
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. The RGCP (Robust Graph Coloring problem) is a new variant of the traditional graph coloring problem. It has numerous practical applications in real world like timetabling...
133
click to vote
ISPD
2000
ACM
15 years 9 months ago
2000
ACM
The standard cell placement problem has been extensively studied in the past twenty years. Many approaches were proposed and proven e ective in practice. However, successful place...