10048 search results - page 228 / 2010 » The Structure and Performance of Interpreters |
214
click to vote
MDAI
2009
Springer
15 years 11 months ago
2009
Springer
Presented is preliminary study of the role of data structures in algorithms for formal concept analysis. Studied is performance of selected algorithms in dependence on chosen data ...
190
click to vote
ESA
2004
Springer
15 years 11 months ago
2004
Springer
The ability to represent and query continuously moving objects is important in many applications of spatio-temporal database systems. In this paper we develop data structures for ...
143
click to vote
EDBT
2006
ACM
16 years 7 months ago
2006
ACM
We present STRIDER1 , a versatile system for the disambiguation of structure-based information like XML schemas, structures of XML documents and web directories. The system perform...
180
click to vote
ICALP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We study entailment of structural and nonstructural recursive subtyping constraints. Constraints are formal inequalities between type expressions, interpreted over an ord...
160
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
We compare the expressiveness of two extensions of monadic second-order logic (MSO) over the class of finite structures. The first, counting monadic second-order logic (CMSO), ex...