1321 search results - page 201 / 265 » Subtyping in Logical Form |
258
click to vote
ICDE
2004
IEEE
16 years 7 months ago
2004
IEEE
The indexing technique commonly used for long strings, such as genomes, is the suffix tree, which is based on a vertical (intra-path) compaction of the underlying trie structure. ...
153
click to vote
SIGSOFT
2006
ACM
16 years 7 months ago
2006
ACM
A method for extracting syntactic specifications from heapmanipulating code is described. The state of the heap is represented as an environment mapping each variable or field to ...
158
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Many databases have become Web-accessible through form-based search interfaces (i.e., HTML forms) that allow users to specify complex and precise queries to access the underlying ...
156
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
XML is poised to take the World-Wide-Web to the next level of innovation. XML data, large or small, with or without associated schema, will be exchanged between increasing number ...
154
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
Abstract. We extend our previous study of the automatic construction of isomorphic classification theorems for algebraic domains by considering the isotopy equivalence relation. Is...