Sciweavers

989 search results - page 88 / 198
» HowNet and Its Computation of Meaning
Sort
View
DLOG
2007
15 years 6 months ago
A Proof Theory for DL-Lite
Abstract. In this work we propose an alternative approach to inference in DLLite, based on a reduction to reasoning in an extension of function-free Horn Logic (EHL). We develop a ...
Diego Calvanese, Evgeny Kharlamov, Werner Nutt
147
Voted
IFIP12
2007
15 years 6 months ago
Semantic Multimedia Analysis based on Region Types and Visual Context
In this paper previous work on the detection of high-level concepts within multimedia documents is extended by introducing a mid-level ontology as a means of exploiting the visual ...
Evaggelos Spyrou, Phivos Mylonas, Yannis S. Avrith...
101
Voted
ICWS
2004
IEEE
15 years 6 months ago
A Meta-Modeling Approach to Web Services
Web Services (WS) technology is becoming pervasive in the development of distributed systems and is an appealing vehicle for service presentation and horizontal integration. On th...
Fei Cao, Barrett R. Bryant, Wei Zhao, Carol C. Bur...
ICISC
2001
98views Cryptology» more  ICISC 2001»
15 years 6 months ago
A Multi-signature Scheme with Signers' Intentions Secure against Active Attacks
In this paper, we propose a multi-signature scheme, in which each signer can express her intention associating with the message to be signed. Signers' intentions mean a kind o...
Kei Kawauchi, Hiroshi Minato, Atsuko Miyaji, Mitsu...
133
Voted
AAAI
2000
15 years 5 months ago
Performance Comparison of Landmark Recognition Systems for Navigating Mobile Robots
Self-localisation is an essential competence for mobile robot navigation. Due to the fundamental unreliability of dead reckoning, a robot must depend on its perception of external...
Tom Duckett, Ulrich Nehmzow