Sciweavers

115 search results - page 2 / 23
» A Controlled Natural Language for Business Intelligence Moni...
Sort
View
SACMAT
2010
ACM
13 years 10 months ago
Monitoring security policies with metric first-order temporal logic
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
David A. Basin, Felix Klaedtke, Samuel Müller
AUSAI
2005
Springer
13 years 11 months ago
A Controlled Natural Language Layer for the Semantic Web
In this paper, I will show how a controlled natural language can be used to describe knowledge for the Semantic Web and discuss the formal properties of this language. At the firs...
Rolf Schwitter
IS
2012
12 years 1 months ago
On the refactoring of activity labels in business process models
Large corporations increasingly utilize business process models for documenting and redesigning their operations. The extent of such modeling initiatives with several hundred mode...
Henrik Leopold, Sergey Smirnov 0002, Jan Mendling
AUSAI
2008
Springer
13 years 7 months ago
Working for Two: A Bidirectional Grammar for a Controlled Natural Language
This paper introduces the controlled natural language PENG Light together with a language processor that is based on a bidirectional grammar. The language processor has the followi...
Rolf Schwitter
IROS
2006
IEEE
120views Robotics» more  IROS 2006»
13 years 11 months ago
Learning from Nature to Build Intelligent Autonomous Robots
Information processing within autonomous robots should follow a biomimetic approach. In contrast to traditional approaches that make intensive use of accurate measurements, numeric...
Rainer Bischoff 0002, Volker Graefe