1001 search results - page 149 / 201 » Testing Formal Dialectic |
ISSTA
2009
ACM
14 years 3 months ago
2009
ACM
This paper explores an approach to improving the practical usability of static verification tools for debugging synchronization idioms. Synchronization idioms such as mutual excl...
DATE
2008
IEEE
14 years 3 months ago
2008
IEEE
As semiconductor manufacturing requires greater capital investments, the use of contract foundries has grown dramatically, increasing exposure to mask theft and unauthorized exces...
ICDM
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper describes an approach for incorporating externally specified aggregate ratings information into certain types of collaborative filtering (CF) methods. For a statistic...
HAPTICS
2007
IEEE
14 years 3 months ago
2007
IEEE
The objective of the present research was to show that incorporating a visuo-haptic device ‘Telemaque’ may increase the fluency of handwriting production of cursive letters in...
ICDM
2007
IEEE
14 years 3 months ago
2007
IEEE
Frequent itemsets mining is a popular framework for pattern discovery. In this framework, given a database of customer transactions, the task is to unearth all patterns in the for...