1999 search results - page 246 / 400 » Finding Reductions Automatically |
132
click to vote
DATE
2009
IEEE
15 years 8 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
112
click to vote
WEBDB
2009
Springer
15 years 8 months ago
2009
Springer
We study the problem of automatically discovering semantic associations between schema elements, namely foreign keys. This problem is important in all applications where data sets...
105
click to vote
ACSC
2008
IEEE
15 years 8 months ago
2008
IEEE
In the future, if we are to continue to expect improved application performance we will have to achieve it by exploiting course-grained hardware parallelism rather then simply rel...
109
click to vote
FGR
2008
IEEE
15 years 8 months ago
2008
IEEE
Emotional contagion refers to the tendency to automatically mimic and synchronize our facial expressions with those of another person. Recent EMG studies have shown that emotional...
IJCNN
2008
IEEE
15 years 8 months ago
2008
IEEE
— The process of segmenting images is one of the most critical ones in automatic image analysis whose goal can be regarded as to find what objects are presented in images. Artifi...