8828 search results - page 1357 / 1766 » Formal methods in practice |
197
click to vote
SAC
2005
ACM
16 years 17 days 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...
191
click to vote
SIGECOM
2005
ACM
16 years 17 days 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...
287
click to vote
WWW
2005
ACM
16 years 17 days 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...
138
click to vote
AIED
2005
Springer
16 years 17 days 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...
181
click to vote
ATAL
2005
Springer
16 years 17 days ago
2005
Springer
We present a general logic of explicit knowledge represented as finite sets of logical formulae which can evolve by nondeterministic reasoning and communication. It is partly bas...