4965 search results - page 74 / 993 » A Simple Abstraction for Data Modeling |
169
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
147
click to vote
UAI
1997
15 years 7 months ago
1997
Recursive graphical models usually underlie the statistical modelling concerning probabilistic expert systems based on Bayesian networks. This paper de nes a version of these mode...
156
click to vote
SEBD
2003
15 years 7 months ago
2003
Abstract. In this paper, we present the preliminary results of an ongoing research activity concerning the temporal management of normative texts in XML format. In particular, four...
182
click to vote
BIRTHDAY
2009
Springer
16 years 12 days ago
2009
Springer
Abstract. This chapter considers the different temporal constructs appeared in the literature of temporal conceptual models (timestamping and evolution constraints), and it provid...
150
click to vote
IPPS
2009
IEEE
16 years 8 days ago
2009
IEEE
With the increasing trend of microprocessor manufacturers to rely on parallelism to increase their products’ performance, there is an associated increasing need for simple techn...