2880 search results - page 175 / 576 » Types are calling conventions |
144
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
It has been claimed that the first digit of real signals follows a logarithmic distribution, called Benford law. This paper shows that this distribution is a natural prior for the...
179
Voted
CADE
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. We investigate cut-elimination and cut-simulation in impredicative (higher-order) logics. We illustrate that adding simple axioms such as Leibniz equations to a calculus ...
168
Voted
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
Maintaining object-oriented systems that use inheritance and polymorphism is difficult, since runtime information, such as which methods are actually invoked at a call site, is n...
168
Voted
DEXA
2009
Springer
16 years 1 months ago
2009
Springer
In this article we define a new type of integrity constraint in XML, called an XML inclusion constraint (XIND), and show that it extends the semantics of a relational inclusion de...
172
click to vote
SYNASC
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we present a rewriting framework for modeling molecular complexes, biochemical reaction rules, and generation of biochemical networks based on the representation of...