3799 search results - page 596 / 760 » An Engineering Approach to Formal Methods |
194
Voted
TASE
2008
IEEE
15 years 5 months ago
2008
IEEE
Condition monitoring and fault diagnosis in modern manufacturing automation is of great practical significance. It improves quality and productivity, and prevents damage to machine...
223
click to vote
POPL
2000
ACM
15 years 10 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
165
click to vote
AIRS
2004
Springer
15 years 11 months ago
2004
Springer
IR with reference corpus is one approach when dealing with relevant sentences detection, which takes the result of IR as the representation of query (sentence). Lack of informatio...
177
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
The correlation of the result lists provided by search engines is fundamental and it has deep and multidisciplinary ramifications. Here, we present automatic and unsupervised met...
193
Voted
CHI
2011
ACM
14 years 9 months ago
2011
ACM
Understanding how people interact with search engines is important in improving search quality. Web search engines typically analyze queries and clicked results, but these actions...