1981 search results - page 232 / 397 » Model-Checking Hierarchical Structures |
115
click to vote
ICRA
1999
IEEE
15 years 6 months ago
1999
IEEE
The modeling and control flexible-manufacturing workcells (FMCs) has generally been performed in a hierarchical structure, where at the highest level they have been modeled as dis...
129
Voted
DL
1998
Springer
15 years 6 months ago
1998
Springer
In this paper we present a mechanism for translating information in heterogeneous digital library environments. We model information as a set of conjunctive constraints that are s...
121
click to vote
RELMICS
1998
Springer
15 years 6 months ago
1998
Springer
We present a class of polymodal logics for which the set of terms indexing the modal connectives can be hierarchized in two levels: the set of Boolean terms and the set of terms b...
129
click to vote
CIARP
2006
Springer
15 years 6 months ago
2006
Springer
Feature selection and dimensionality reduction are crucial research fields in pattern recognition. This work presents the application of a novel technique on dimensionality reducti...
105
click to vote
ICLP
1995
Springer
15 years 6 months ago
1995
Springer
The purpose of this paper is to study the problem of complete type inferencing for polymorphic order-sorted logic programs. We show that previous approaches are incomplete even if...