Sciweavers

3844 search results - page 379 / 769
» Modular interpreted systems
Sort
View
CORR
2011
Springer
165views Education» more  CORR 2011»
14 years 11 months ago
Universal Metadata Standard
The basis of consciousness is an association of notions, the neuronal network. Similarly, the creation of a next generation internet (semantic web) is impossible without attributes...
Andrej Poleev
ICDCSW
2005
IEEE
15 years 10 months ago
Specifying Information-Flow Controls
The core problem in risk analysis - determining exploitable paths between attackers and system assets is essentially a problem of determining information flow. It is relatively st...
Howard Chivers, Jeremy Jacob
ATAL
2005
Springer
15 years 10 months ago
Bounded model checking for knowledge and real time
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
Bozena Wozna, Alessio Lomuscio, Wojciech Penczek
WOA
2003
15 years 6 months ago
Towards the Improvement of Monitoring and Control Agencies through Knowledge-Based Approaches
Abstract—This paper illustrates how the functionalities of monitoring/control systems, within an agent–based framework, can be improved by the adoption of Knowledge–Based tec...
Matteo Palmonari, Fabio Sartori
166
Voted
MUC
1992
15 years 9 months ago
GE NLToolset: description of the system as used for MUC-4
The GE NLTooLsET is a set of text interpretation tools designed to be easily adapted to new domains. This report summarizes the system and its performance on the MUG-4 task . INTR...
George B. Krupka, Paul S. Jacobs, Lisa F. Rau, Loi...