Sciweavers

950 search results - page 103 / 190
» Pin-pointing concept descriptions
Sort
View
APN
1993
Springer
15 years 8 months ago
Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs
In this paper we show how to extend Coloured Petri Nets (CP-nets), with three new modelling primitives—place capacities, test arcs and inhibitor arcs. The new modelling primitiv...
Søren Christensen, Niels Damgaard Hansen
FLAIRS
2008
15 years 7 months ago
Towards Verification of Storyboards
Storyboards are commonly known as rows of pictures, which exemplarily sketch scenes in performing arts. The rows specify the sequence of scenes. The scenes themselves are illustra...
Rainer Knauf, Horst Duesel
TRECVID
2008
15 years 6 months ago
The Lowlands Team at TRECVID 2008
Id: trecvid2008.tex 197 2008-10-23 13:28:48Z alyr Date: 2008-10-23 15:28:48 +0200 (Thu, 23 Oct 2008) Type Run Description MAP/mean infAP HLF Official H utcwiprimw146 Our prelimina...
Robin Aly, Djoerd Hiemstra, Arjen P. de Vries, Hen...
DAI
1995
Springer
15 years 8 months ago
A Formal View of Social Dependence Networks
In response to the problems that have arisen regarding the terminology and concepts of agent-oriented systems, previous work has described a formal framework for understanding agen...
Mark d'Inverno, Michael Luck
DLOG
2003
15 years 6 months ago
Incremental Query Answering for Implementing Document Retrieval Services
Agent systems that search the Semantic Web are seen as killer applications for description logic (DL) inference engines. The guiding examples for the Semantic Web involve informat...
Volker Haarslev, Ralf Möller