Sciweavers

9145 search results - page 223 / 1829
» Description Logic Systems
Sort
View
AOSD
2004
ACM
15 years 12 months ago
Deriving security requirements from crosscutting threat descriptions
It is generally accepted that early determination of the stakeholder requirements assists in the development of systems that better meet the needs of those stakeholders. General s...
Charles B. Haley, Robin C. Laney, Bashar Nuseibeh
SAC
2002
ACM
15 years 6 months ago
Color patterns for pictorial content description
In this paper, we propose a new type of image feature, which consists of patterns of colors and intensities that capture the latent associations among images and primitive feature...
Daniela Stan, Ishwar K. Sethi
LREC
2008
158views Education» more  LREC 2008»
15 years 8 months ago
Linguistic Description and Automatic Extraction of Definitions from German Court Decisions
This paper discusses the use of computational linguistic technology to extract definitions from a large corpus of German court decisions. We present a corpus-based survey of defin...
Stephan Walter
DALT
2009
Springer
15 years 11 months ago
Verifying Dribble Agents
Abstract. We describe a model-checking based approach to verification of programs written in the agent programming language Dribble. We define a logic (an extension of the branch...
Doan Thu Trang, Brian Logan, Natasha Alechina
AOSE
2005
Springer
16 years 2 days ago
Formalisation and Analysis of the Temporal Dynamics of Conditioning
In order to create adaptive Agent Systems with abilities matching those of their biological counterparts, a natural approach is to incorporate classical conditioning mechanisms int...
Tibor Bosse, Catholijn M. Jonker, Sander A. Los, L...