Sciweavers

7921 search results - page 366 / 1585
» LSH-preserving functions and their applications
Sort
View
CVPR
2007
IEEE
16 years 8 months ago
P3 & Beyond: Solving Energies with Higher Order Cliques
In this paper we extend the class of energy functions for which the optimal -expansion and -swap moves can be computed in polynomial time. Specifically, we introduce a class of hi...
Pushmeet Kohli, M. Pawan Kumar, Philip H. S. Torr
ENTCS
2007
85views more  ENTCS 2007»
15 years 6 months ago
Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities
We present a technique for inducing functional programs from few, well chosen input/output-examples (I/Oexamples). Potential applications for automatic program or algorithm induct...
Emanuel Kitzelmann, Ute Schmid
ICSOFT
2007
15 years 8 months ago
Solving Design Issues in Web Meta-Model Approach to Support End-User Development
End-user development is proposed as a solution to the issues business organisations face when developing web applications to support their business processes. We are proposing a me...
Buddhima De Silva, Athula Ginige
247
Voted
SIGMOD
2007
ACM
135views Database» more  SIGMOD 2007»
16 years 7 months ago
XTream: personal data streams
The real usability of data stream systems depends on the practical aspect of building applications on data streams. In this demo we show two possible applications on data streams,...
Michael Duller, Rokas Tamosevicius, Gustavo Alonso...
ADC
2004
Springer
90views Database» more  ADC 2004»
16 years 5 days ago
Representing and Reasoning on XForms Document
Forms are the most common way to interface users and Web-based applications. Traditional forms cannot provide the functionality needed to fulfil the requirements of complex appli...
Peng Yew Cheow, Guido Governatori