Sciweavers

925 search results - page 140 / 185
» Connectivity on Complete Lattices
Sort
View
LREC
2008
122views Education» more  LREC 2008»
13 years 8 months ago
A Taxonomy of Lexical Metadata Categories
Metadata registries comprising sets of categories to be used in data collections exist in many fields. The purpose of a metadata registry is to facilitate data exchange and intero...
Bodil Nistrup Madsen, Hanne Erdman Thomsen
WOB
2008
128views Bioinformatics» more  WOB 2008»
13 years 8 months ago
Tests for Gene Clusters Satisfying the Generalized Adjacency Criterion
Abstract. We study a parametrized definition of gene clusters that permits control over the trade-off between increasing gene content versus conserving gene order within a cluster....
Ximing Xu, David Sankoff
CLIMA
2006
13 years 8 months ago
Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming
We present a multi-agent formalism based on extended answer set programming. The system consists of independent agents connected via a communication channel, where knowledge and be...
Davy Van Nieuwenborgh, Marina De Vos, Stijn Heyman...
DAGSTUHL
2004
13 years 8 months ago
Language Engineering in Practice
ns to define the abstract modelling language that determines the structure of the models that are to be used a two-step meta-modelling approach turned out as most adequate. In the ...
Martin Große-Rhode
IWFM
2003
13 years 8 months ago
Using Admissible Interference to Detect Denial of Service Vulnerabilities
Meadows recently proposed a formal cost-based framework for analysis of denial of service. It was showed how some principles that have already been used to make cryptographic prot...
Stéphane Lafrance, John Mullins