1117 search results - page 77 / 224 » Equivalent Representations of Set Functions |
JAPLL
2006
14 years 9 months ago
2006
A conjecture by D. Seese states that if a set of graphs has a decidable monadic second-order theory, then it is the image of a set of trees under a transformation defined by monad...
PPDP
2009
Springer
15 years 4 months ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Re�...
TII
2010
14 years 4 months ago
2010
Behavior, Interaction, Priorities (BIP) is a component framework for constructing systems from a set of atomic components by using two kinds of composition operators: interactions ...
JMLR
2008
14 years 9 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...
COMSIS
2010
14 years 7 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...