Sciweavers

3441 search results - page 476 / 689
» Knowledge Representation for Video
Sort
View
APN
2008
Springer
15 years 8 months ago
Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
Roland Bouroulet, Raymond R. Devillers, Hanna Klau...
BIS
2010
187views Business» more  BIS 2010»
15 years 8 months ago
Faceted Wikipedia Search
Wikipedia articles contain, besides free text, various types of structured information in the form of wiki markup. The type of wiki content that is most valuable for search are Wik...
Rasmus Hahn, Christian Bizer, Christopher Sahnwald...
LREC
2010
134views Education» more  LREC 2010»
15 years 8 months ago
VenPro: A Morphological Analyzer for Venetan
This document reports the process of extending MorphoPro for Venetan, a lesser-used language spoken in the Nort-Eastern part of Italy. MorphoPro is the morphological component of ...
Sara Tonelli, Emanuele Pianta, Rodolfo Delmonte, M...
LREC
2010
189views Education» more  LREC 2010»
15 years 8 months ago
Extracting Surface Realisation Templates from Corpora
In Natural Language Generation (NLG), template-based surface realisation is an effective solution to the problem of producing surface strings from a given semantic representation,...
Thiago D. Tadeu, Eder M. de Novais, Ivandré...
FOIS
2008
15 years 8 months ago
On the Syntax and Semantics of Effect Axioms
Effect axioms constitute the cornerstone of formal theories of action in AI. They drive standard reasoning tasks, especially prediction. These tasks need not be coupled with actual...
Haythem O. Ismail