1626 search results - page 124 / 326 » Subtyping with Power Types |
156
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
Local (first order) sentences, introduced by Ressayre, enjoy very nice decidability properties, following from some stretching theorems stating some remarkable links between the ...
119
click to vote
ICML
1998
IEEE
16 years 5 months ago
1998
IEEE
Three factors are related in analyses of performance curves such as learning curves: the amount of training, the learning algorithm, and performance. Often we want to know whether...
138
click to vote
SIGMOD
2003
ACM
16 years 4 months ago
2003
ACM
Object-oriented and object-relational DBMS support setvalued attributes, which are a natural and concise way to model complex information. However, there has been limited research...
148
click to vote
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
Separation logic involves two dual forms of modularity: local reasoning makes part of the store invisible within a static scope, whereas hiding local state makes part of the store...
161
click to vote
ISCAS
2007
IEEE
15 years 10 months ago
2007
IEEE
— The paper presents a new approach to the Volterra analysis of analog circuits. This kind of analysis is widely used for the calculation of distortion and intermodulation produc...