13734 search results - page 274 / 2747 » Abstractions of data types |
168
click to vote
ICDAR
1997
IEEE
15 years 10 months ago
1997
IEEE
The purpose of a document is to facilitate the transfer of information from its author to its readers. It is the author’s job to design the document so that the information it c...
178
click to vote
BTW
2003
Springer
15 years 11 months ago
2003
Springer
Abstract: In order to achieve efficient execution plans for queries comprising userdefined data types and predicates, the database system has to be provided with appropriate index ...
211
click to vote
GEOINFORMATICA
1998
15 years 6 months ago
1998
ally related entity types, or classes, into higher level, more abstract types, as part of a hierarchical classi®cation scheme. graphy, generalization retains the notion of abstrac...
180
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
Decentralized information flow control (DIFC) is a promising model for writing programs with powerful, end-to-end security guarantees. Current DIFC systems that run on commodity ...
286
click to vote
POPL
2002
ACM
16 years 6 months ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...