3863 search results - page 215 / 773 » Function in Device Representation |
133
click to vote
PPDP
2001
Springer
15 years 9 months ago
2001
Springer
This paper describes an implementation of narrowing, an essential component of implementations of modern functional logic languages. These implementations rely on narrowing, in pa...
102
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
C32SAT is a tool for checking C expressions. It can check whether a given C expression can be satisfied, is tautological, or always defined according to the ISO C99 standard. C32...
121
click to vote
LREC
2008
15 years 5 months ago
2008
We address the question of which syntactic representation is best suited for role-semantic analysis of English in the FrameNet paradigm. We compare systems based on dependencies a...
147
click to vote
JMLR
2008
15 years 4 months ago
2008
A method is introduced to learn and represent similarity with linear operators in kernel induced Hilbert spaces. Transferring error bounds for vector valued large-margin classifie...
133
click to vote
COMSIS
2010
15 years 1 months ago
2010
In Photometric stereo, the existence of specularities hampers to recover the normal map. To deal with this common reflective phenomenon, we introduce a novel representation for spe...