13734 search results - page 231 / 2747 » Abstractions of data types |
165
click to vote
DASFAA
1993
IEEE
15 years 9 months ago
1993
IEEE
: Entities in engineering design databases need to evolve in both structure and behavior. Such a need is not well addressed by object-oriented data models based on the class concep...
138
click to vote
TYPES
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We propose syntax and semantics for systems of intuitionistic and classical first order dependently sorted logic, with and withlity, retaining type dependency, but other...
169
Voted
ENTCS
2007
15 years 5 months ago
2007
We describe how a set-theoretic foundation for mathematics can be encoded in the new system Scunak. We then discuss an encoding of the construction of functions as functional relat...
211
Voted
ICDE
2011
IEEE
14 years 9 months ago
2011
IEEE
—There is a growing interest in methods for analyzing data describing networks of all types, including information, biological, physical, and social networks. Typically the data ...
185
click to vote
BMCBI
2005
15 years 5 months ago
2005
There is an enormous amount of information encoded in each genome