3044 search results - page 318 / 609 » Linear logical approximations |
195
click to vote
APAL
2008
15 years 6 months ago
2008
Most type systems are agnostic regarding the evaluation strategy for the underlying languages, with the value restriction for ML which is absent in Haskell as a notable exception....
158
click to vote
AUTOMATICA
2007
15 years 6 months ago
2007
This paper presents a new supervisory control scheme, which is based on a control-relevant switching logic. Unlike most of the existing switching methods considering only estimato...
178
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Quantum computer programming is emerging as a new subject domain from multidisciplinary research in quantum computing, computer science, mathematics (especially quantum logic, lamb...
158
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
This paper considers a portfolio selection problem with type-2 fuzzy future returns involving ambiguous and subjectivity. Since this proposed problem is not well-defined due to fuz...
204
click to vote
SPAA
2004
ACM
16 years 5 days ago
2004
ACM
Given a general graph G, a fundamental problem is to find a spanning tree H that best approximates G by some measure. Often this measure is some combination of the congestion and...