1321 search results - page 171 / 265 » Subtyping in Logical Form |
168
click to vote
TLCA
2009
Springer
16 years 27 days ago
2009
Springer
The straightforward elimination of union types is known to break subject reduction, and for some extensions of the lambda-calculus, to break strong normalization as well. Similarly...
176
click to vote
LICS
2008
IEEE
16 years 22 days 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...
152
click to vote
FUZZIEEE
2007
IEEE
16 years 21 days ago
2007
IEEE
— Incremental rule base learning techniques can be used to learn models and classifiers from interval or fuzzyvalued data. These algorithms are efficient when the observation e...
152
click to vote
IAT
2007
IEEE
16 years 20 days ago
2007
IEEE
Agent training techniques study methods to embed empirical, inductive knowledge representations into intelligent agents, in dynamic, recursive or semi-automated ways, expressed in...
170
click to vote
IEEESCC
2007
IEEE
16 years 20 days ago
2007
IEEE
A service-oriented architecture (SOA) promises a more flexible intra- and interorganizational integration of heterogeneous application systems. The central design element of a SOA...