4961 search results - page 888 / 993 » Homomorphism-Homogeneous Relational Structures |
162
click to vote
WEBNET
2000
15 years 4 months ago
2000
: Adaptive hypermedia systems (AHS) have typically been geared towards one specific application or application area, in most cases related to education. The AHA (Adaptive Hypermedi...
127
Voted
IPCO
1996
15 years 4 months ago
1996
This paper attempts to provide a better understanding of the facial structure of polyhedra previously investigated separately. It introduces the notion of transitive packing and th...
158
Voted
TPCD
1994
15 years 4 months ago
1994
Theorem proving techniques are particularly well suited for reasoning about arithmetic above the bit level and for relating di erent f abstraction. In this paper we show how a non-...
110
click to vote
USENIX
1993
15 years 4 months ago
1993
Discovering different types of file resources (such as documentation, programs, and images) in the vast amount of data contained within network file systems is useful for both u...
116
Voted
COLING
1992
15 years 4 months ago
1992
A language-independent framework for syntactic finlte-state parsing is discussed. The article presents a framework, a formalism, a compiler and a parser for grammars written in th...