1444 search results - page 161 / 289 » Visualizing Common Ground |
VL
2003
IEEE
15 years 7 months ago
2003
IEEE
Learning to program can be very hard. Without an existing background in the subject and without adequate resources, students, especially women, may find themselves experiencing m...
100
Voted
FMCAD
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
ICMCS
2010
IEEE
15 years 3 months ago
2010
IEEE
Most affinity-based grouping methods only model the inclusive relation among the data. When the data set contains a significant amount of noise data that should not be included in...
104
click to vote
PRL
2006
15 years 2 months ago
2006
Automatic thresholding has been widely used in the machine vision industry for automated visual inspection of defects. A commonly used thresholding technique, the Otsu method, pro...
105
click to vote
JCC
2000
15 years 2 months ago
2000
The Molecular Modeling Toolkit is a library that implements common molecular simulation techniques, with an emphasis on biomolecular simulations. It uses modern software engineeri...