1397 search results - page 199 / 280 » On the Need for Practical Formal Methods |
167
click to vote
GMP
2010
IEEE
15 years 8 months ago
2010
IEEE
The Voronoi diagram is a fundamental geometry structure widely used in various fields, especially in computer graphics and geometry computing. For a set of points in a compact 3D d...
165
click to vote
CONCUR
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
122
click to vote
LREC
2008
15 years 6 months ago
2008
Spectral clustering is a powerful clustering method for document data set. However, spectral clustering needs to solve an eigenvalue problem of the matrix converted from the simil...
130
click to vote
ACE
2003
15 years 6 months ago
2003
Being able to formulate useful SQL queries is a fundamental skill required by many software development professionals. Mastering this skill is a difficult process, requiring consi...
136
Voted
FAST
2003
15 years 5 months ago
2003
We propose a practical and efficient method for adding security to network-attached disks (NADs). In contrast to previous work, our design requires no changes to the data layout ...