378 search results - page 51 / 76 » Automating Coinduction with Case Analysis |
SIGIR
2009
ACM
14 years 5 months ago
2009
ACM
Evaluation of sentiment analysis, like large-scale IR evaluation, relies on the accuracy of human assessors to create judgments. Subjectivity in judgments is a problem for relevan...
SOSE
2008
IEEE
14 years 5 months ago
2008
IEEE
This paper presents a service oriented architecture for testing Web Services. In this architecture, various parties interoperate with each other to complete testing tasks through ...
CEC
2007
IEEE
14 years 5 months ago
2007
IEEE
Abstract— The next generation of embedded computing systems will have to meet new challenges. The systems are expected to act mainly autonomously, to dynamically adapt to changin...
ISCC
2006
IEEE
14 years 5 months ago
2006
IEEE
Deploying IP telephony or voice over IP (VoIP) is a major and challenging task. This paper describes an analytical approach and tool to assess the readiness of existing IP network...
ICLP
2005
Springer
14 years 4 months ago
2005
Springer
Abduction is usually carried out on partially-defined predicates. In this paper we investigate abduction applied to fully-defined predicates, specifically linear arithmetic cons...