2206 search results - page 212 / 442 » On the power of coercion abstraction |
158
click to vote
MKM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Automated knowledge management techniques critically depend on the availability of semantically enhanced documents which are hard to come by in practice. Starting from a ...
194
click to vote
MLMI
2004
Springer
15 years 12 months ago
2004
Springer
This paper investigates the automatic analysis and segmentation of meetings. A meeting is analysed in terms of individual behaviours and group interactions, in order to decompose e...
154
click to vote
PKC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper, we examine issues related to the construction of identity-based threshold decryption schemes and argue that it is important in practice to design an identi...
179
click to vote
ASP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Disjunctive logic programs are a powerful tool in knowledge representation and commonsense reasoning. The recent development of an efficient disjunctive logic programmin...
171
click to vote
BIRTHDAY
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Petri nets have been widely used to model and analyze concurrent systems. Their wide-spread use in this domain is, on one hand, facilitated by their simplicity and expres...