1621 search results - page 196 / 325 » Detecting Experiences from Weblogs |
ASPDAC
2007
ACM
14 years 6 days ago
2007
ACM
In this paper, we present a method for generating checker circuits from sequential-extended regular expressions (SEREs). Such sequences form the core of increasingly-used Assertion...
DSN
2004
IEEE
13 years 12 months ago
2004
IEEE
A result checker is a program that checks the output of the computation of the observed program for correctness. Introduced originally by Blum, the result checking paradigm has pr...
AINA
2008
IEEE
13 years 10 months ago
2008
IEEE
A link farm is a set of web pages constructed to mislead the importance of target pages in search engine results by boosting their link-based ranking scores. In this paper, we int...
ETRA
2008
ACM
13 years 10 months ago
2008
ACM
The pupil-measuring capability of video eye trackers can detect the task-evoked pupillary response: subtle changes in pupil size which indicate cognitive load. We performed severa...
JURIX
2008
13 years 9 months ago
2008
The work described here builds on [1], where we presented a categorisation of norms or provisions in legislation. We claimed that the categories are characterized by the use of ty...