Sciweavers

2694 search results - page 107 / 539
» A Description Logic of Change
Sort
View
FSTTCS
2005
Springer
16 years 15 days ago
Fixpoint Logics on Hierarchical Structures
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
Stefan Göller, Markus Lohrey
181
Voted
CMSB
2006
Springer
15 years 10 months ago
Incorporating Time Delays into the Logical Analysis of Gene Regulatory Networks
Based on the logical description of gene regulatory networks developed by R. Thomas, we introduce an enhanced modelling approach that uses timed automata. It yields a refined quali...
Heike Siebert, Alexander Bockmayr
ICCV
2011
IEEE
14 years 7 months ago
Local Intensity Order Pattern for Feature Description
This paper presents a novel method for feature description based on intensity order. Specifically, a Local Intensity Order Pattern(LIOP) is proposed to encode the local ordinal i...
Zhenhua Wang, Bin Fan, Fuchao Wu
214
Voted
ASP
2005
Springer
16 years 16 days ago
Modeling Hybrid Domains Using Process Description Language
In previous work, action languages have predominantly been concerned with domains in which values are static unless changed by an action. Real domains, however, often contain value...
Sandeep Chintabathina, Michael Gelfond, Richard Wa...