1511 search results - page 92 / 303 » Relational Parametricity for Computational Effects |
140
click to vote
ACL
2012
13 years 7 months ago
2012
Comprehending action preconditions and effects is an essential step in modeling the dynamics of the world. In this paper, we express the semantics of precondition relations extrac...
156
click to vote
ICML
2007
IEEE
16 years 5 months ago
2007
IEEE
A geometric and non parametric procedure for testing if two nite set of points are linearly separable is proposed. The Linear Separability Test is equivalent to a test that deter...
148
click to vote
VLSID
2009
IEEE
16 years 5 months ago
2009
IEEE
: The challenges in nano-CMOS circuit design include the following: variability, leakage, power, thermals, reliability, and yield. This talk will focus on interdependent considerat...
142
Voted
CVPR
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper proposes a new scheme for multi-image projective reconstruction based on a projective grid space. The projective grid space is defined by two basis views and the fundam...
138
Voted
ACSC
2008
IEEE
15 years 11 months ago
2008
IEEE
1 In this paper we introduce a novel method of automating thesauri using syntactically constrained distributional similarity. With respect to syntactically conditioned cooccurrence...