Sciweavers

1645 search results - page 151 / 329
» Conceptual modelling: Knowledge acquisition and model abstra...
Sort
View
90
Voted
FROCOS
2007
Springer
15 years 4 months ago
Combining Algorithms for Deciding Knowledge in Security Protocols
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
Mathilde Arnaud, Véronique Cortier, St&eacu...
GI
2007
Springer
15 years 4 months ago
Dealing with Knowledge Intensive Services in E-Government. A Case Study
Abstract: Governmental processes are complex and knowledge-intensive. Most process management systems fail to support them in an adequate way. On the other hand semantic technologi...
Daniela Feldkamp, Knut Hinkelmann, Holger Wache
ESORICS
2006
Springer
15 years 1 months ago
A Linear Logic of Authorization and Knowledge
We propose a logic for specifying security policies at a very el of abstraction. The logic accommodates the subjective nature of affirmations for authorization and knowledge withou...
Deepak Garg, Lujo Bauer, Kevin D. Bowers, Frank Pf...
ICRA
1995
IEEE
125views Robotics» more  ICRA 1995»
15 years 1 months ago
Inductive Generation of Diagnostic Knowledge for Autonomous Assembly
A generic architecture for evolutive supervision of robotized assembly tasks is presented. This architecture , at different levels of abstraction, functions for dispatching action...
Luís Seabra Lopes, Luis M. Camarinha-Matos
102
Voted
IPCV
2008
14 years 11 months ago
Robust Hough-Based Symbol Recognition Using Knowledge-Based Hierarchical Neural Networks
Abstract - A robust method for symbol recognition is presented that utilizes a compact signature based on a modified Hough Transform (HT) and knowledge-based hierarchical neural ne...
Alexander Wong, William Bishop