5896 search results - page 849 / 1180 » On Learning with Integral Operators |
180
click to vote
WSDM
2010
ACM
16 years 4 months ago
2010
ACM
We describe an approach for multi-modal characterization of social media by combining text features (e.g. tags as a prominent example of short, unstructured text labels) with spat...
149
click to vote
PLDI
2010
ACM
16 years 4 months ago
2010
ACM
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, synthesis algor...
204
click to vote
HICSS
2010
IEEE
16 years 1 months ago
2010
IEEE
It seems common sense that “policy matters” in setting up e-government interoperability, mainly because collaboration should be guided by dedicated integration objectives and ...
169
click to vote
ATS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—SAT-based ATPG turned out to be a robust alternative to classical structural ATPG algorithms such as FAN. The number of unclassified faults can be significantly reduce...
135
click to vote
TEI
2009
ACM
16 years 1 months ago
2009
ACM
Easigami is a novel tangible user interface (TUI) and interactive system intended to help children to learn to fold 3D geometric forms and to explore 2D-3D transformations. We pre...