1288 search results - page 76 / 258 » Visual Generalization in Programming by Example |
152
click to vote
CVPR
2011
IEEE
14 years 10 months ago
2011
IEEE
Many object classes are primarily deļ¬ned by their functions. However, this fact has been left largely unexploited by visual object categorization or detection systems. We propos...
128
click to vote
SADM
2011
14 years 9 months ago
2011
Abstract: Visualizing data by graphing a response against certain factors, and conditioning on other factors, has arisen independently in many contexts. One is the interaction plot...
151
click to vote
MPC
2010
Springer
15 years 4 months ago
2010
Springer
ion of Object Graphs in Program Verification Yifeng Chen1 and J.W. Sanders2 1 HCST Key Lab at School of EECS, Peking University, China. 2 UNU-IIST, Macao. A set-theoretic formalism...
107
click to vote
PPDP
2009
Springer
15 years 9 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ļ...
101
click to vote
GPCE
2007
Springer
15 years 8 months ago
2007
Springer
Programming in an open environment remains challenging because it requires combining modularity, security, concurrency, distribution, and dynamicity. In this paper, we propose an ...