Sciweavers

3515 search results - page 491 / 703
» On the semantics of Strategy Logic
Sort
View
200
Voted
IFM
2004
Springer
116views Formal Methods» more  IFM 2004»
16 years 24 days ago
Formalising Behaviour Trees with CSP
Abstract. Behaviour Trees is a novel approach for requirements engineering. It advocates a graphical tree notation that is easy to use and to understand. Individual requirements ar...
Kirsten Winter
ECOOPW
1999
Springer
15 years 11 months ago
Outdating Outdated Objects
In many application scenarios the database is changing quite rapidly. Because the management of such data is rather expensive and cumbersome, many applications like data warehouse...
Holger Riedel
LREC
2008
86views Education» more  LREC 2008»
15 years 9 months ago
Valentino: A Tool for Valence Shifting of Natural Language Texts
In this paper a first implementation of a tool for valence shifting of natural language texts, named Valentino (VALENced Text INOculator), is presented. Valentino can modify exist...
Marco Guerini, Carlo Strapparava, Oliviero Stock
OWLED
2007
15 years 8 months ago
OWL SAIQL - An OWL DL Query Language for Ontology Extraction
Existing approaches for querying OWL DL do either only operate on syntactic constructs without taking into account the semantics of OWL or do only have a restricted access to the T...
Alexander Kubias, Simon Schenk, Steffen Staab, Jef...
SCANGIS
2003
15 years 8 months ago
Framework and Requirements for Management of Topographic Data in Europe
Topographic data sets produced by the National Mapping Agencies (NMAs) are an essential part of Spatial Data Infrastructures (SDIs). Both global and European developments will deno...
Antti Jakobsson