2529 search results - page 229 / 506 » The Logical Structure of Binding |
166
click to vote
EUSFLAT
2001
15 years 8 months ago
2001
In this paper we shall describe a very natural extension of MV-algebras, the divisible MV-algebras (DMV). Such algebraic structures will be used to give a formal description of ru...
165
Voted
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. This paper presents simulation-based relations for probabilistic game structures. The first relation is called probabilistic alternating simulation, and the second called...
160
click to vote
HICSS
1996
IEEE
15 years 11 months ago
1996
IEEE
In this paper, we present a document model which integrates the logical structure and hypertext link structure of hyperdocuments in order to manage structured documents with hyper...
190
click to vote
BIBE
2003
IEEE
16 years 18 hour ago
2003
IEEE
The tertiary (3D) structure of a protein contains the essential information for understanding the biological function of the protein at the molecular and cellular levels. Traditio...
198
click to vote
GPC
2010
Springer
16 years 1 months ago
2010
Springer
Scalability of reasoning systems is one of the main criteria which will determine the success of Semantic Web systems in the future. The focus of recent work is either on (a) expre...