3255 search results - page 530 / 651 » Combination of Abstractions in the ASTR |
ITA
2007
13 years 10 months ago
2007
Abstract. This paper analyses the complexity of model checking Fixpoint Logic with Chop – an extension of the modal µ-calculus with a sequential composition operator. It uses tw...
JCC
2007
13 years 10 months ago
2007
Abstract: A novel self-organizing algorithm for conformational sampling is introduced, in which precomputed conformations of rigid fragments are used as templates to enforce the de...
JODS
2007
13 years 10 months ago
2007
Abstract. A viable ontology engineering methodology requires supporting domain experts in gradually building and managing increasingly complex versions of ontological elements and ...
TSP
2008
13 years 10 months ago
2008
Abstract--This paper presents an over-complete multiscale decomposition by combining the Laplacian pyramid and the complex directional filter bank (DFB). The filter bank is constru...
ALGORITHMICA
2004
13 years 10 months ago
2004
Abstract. We present a new algorithm, called MCS-M, for computing minimal triangulations of graphs. LexBFS, a seminal algorithm for recognizing chordal graphs, was the genesis for ...