4273 search results - page 267 / 855 » Improving proactive information systems |
193
click to vote
RTSS
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper presents an on-the-fly and symbolic algorithm for checking whether a timed automaton satisfies a formula of a timed temporal logic which is more expressive than TCTL....
183
click to vote
ACL
1998
15 years 8 months ago
1998
In this paper we discuss the use of discourse context in spoken dialogue systems and argue that the knowledge of the domain, modelled with the help of dialogue topics is important...
171
click to vote
SIGCSE
2008
ACM
15 years 6 months ago
2008
ACM
Providing consistent, instant, and detailed feedback to students has been a big challenge in teaching Web based computing, given the complexity of project assignments and the comp...
183
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
—This paper presents CARE, an autonomous email reputation system based on inter-domain collaboration. Within the framework of CARE, each domain independently builds its reputatio...
172
click to vote
SOCIALCOM
2010
15 years 4 months ago
2010
As the value of reputation systems is widely recognized, the incentive to manipulate such systems is rapidly growing. We propose TAUCA, a scheme that identifies malicious users and...