4745 search results - page 471 / 949 » Discretization: An Enabling Technique |
179
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
The inverse method is a generic proof search procedure applicable to non-classical logics satisfying cut elimination and the subformula property. In this paper we describe a genera...
125
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
GestureBar is a novel, approachable UI for learning gestural interactions that enables a walk-up-and-use experience which is in the same class as standard menu and toolbar interfa...
140
click to vote
KDD
2004
ACM
16 years 7 months ago
2004
ACM
Existing data mining algorithms on graphs look for nodes satisfying specific properties, such as specific notions of structural similarity or specific measures of link-based impor...
158
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
This report describes a user interface (UI) toolkit used for prototyping by non-designers. The toolkit enables the development of standardized UI wireframes and click-through prot...
157
click to vote
HPCA
2008
IEEE
16 years 7 months ago
2008
IEEE
Recent advances in statistical inference and machine learning close the divide between simulation and classical optimization, thereby enabling more rigorous and robust microarchit...