3591 search results - page 56 / 719 » Typing linear constraints |
109
Voted
ICFP
2010
ACM
15 years 26 days ago
2010
ACM
While many type systems based on the intuitionistic fragment of linear logic have been proposed, applications in programming languages of the full power of linear logic--including...
116
Voted
VLSID
2002
IEEE
16 years 1 months ago
2002
IEEE
Satisfiability of complex word-level formulas often arises as a problem in formal verification of hardware designs described at the register transfer level (RTL). Even though most...
105
Voted
ACS
2005
15 years 17 days ago
2005
There are several kinds of linear typed calculus in the literature, some with their associated notion of categorical model. Our aim in this paper is to systematise the relationshi...
104
Voted
IJCAI
2007
15 years 2 months ago
2007
In recent years, metric learning in the semisupervised setting has aroused a lot of research interests. One type of semi-supervised metric learning utilizes supervisory informatio...
79
Voted
ADHOC
2008
15 years 24 days ago
2008
In this paper, we study asymptotic uniform data-rate guarantees in large wireless networks from an information-theoretic viewpoint. We consider the following question: what is the...