4340 search results - page 734 / 868 » Formal Methods and Cryptography |
157
click to vote
KCAP
2005
ACM
15 years 10 months ago
2005
ACM
An ultimate goal of AI is to build end-to-end systems that interpret natural language, reason over the resulting logical forms, and perform actions based on that reasoning. This r...
146
click to vote
SAC
2005
ACM
15 years 10 months ago
2005
ACM
Finding rapidly suitable experts in an organization to compose a team able to solve specific tasks is a typical problem in large consulting firms. In this paper we present a Des...
136
Voted
SIGECOM
2005
ACM
15 years 10 months ago
2005
ACM
When distributing digital content over a broadcast channel it’s often necessary to revoke users whose access privileges have expired, thus preventing them from recovering the co...
235
click to vote
WWW
2005
ACM
15 years 10 months ago
2005
ACM
Semantic Web Information Systems (SWIS) are Web Information Systems that use Semantic Web technologies. Hera is a modeldriven design methodology for SWIS. In Hera, models are repr...
103
click to vote
AIED
2005
Springer
15 years 10 months ago
2005
Springer
Analyzing coverage of a student’s utterance or essay (completeness) and diagnosing errors (correctness) can be treated as a diagnosis problem and solved using a well-known techni...