941 search results - page 37 / 189 » Efficient Testing of Large Graphs |
JCP
2006
14 years 9 months ago
2006
The present paper proposes new approaches for recommendation tasks based on one-class support vector machines (1-SVMs) with graph kernels generated from a Laplacian matrix. We intr...
PATMOS
2004
Springer
15 years 3 months ago
2004
Springer
Motivated by very/ultra large scale integrated circuit (VLSI/ULSI) physical design applications, we study the construction of rectilinear minimum spanning tree (RMST) with its maxi...
ICSE
2001
IEEE-ACM
15 years 2 months ago
2001
IEEE-ACM
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
148
Voted
WAE
2001
14 years 11 months ago
2001
The ability to provide uniform shared-memory access to a significant number of processors in a single SMP node brings us much closer to the ideal PRAM parallel computer. In this pa...
115
click to vote
REFSQ
2010
Springer
2010
Springer
Challenges in Aligning Requirements Engineering and Verification in a Large-Scale Industrial Context
14 years 7 months ago
[Context and motivation] When developing software, coordination between different organizational units is essential in order to develop a good quality product, on time and within b...