Sciweavers

1288 search results - page 64 / 258
» Visual Generalization in Programming by Example
Sort
View
104
Voted
ICRA
2002
IEEE
144views Robotics» more  ICRA 2002»
15 years 7 months ago
Sensing Nanonewton Level Forces by Visually Tracking Structural Deformations
When assembling MEMS devices or manipulating biological cells it is often beneficial to have information about the force that is being applied to these objects. This force informa...
Michael A. Greminger, Ge Yang, Bradley J. Nelson
97
Voted
SIGIR
2008
ACM
15 years 2 months ago
Intuition-supporting visualization of user's performance based on explicit negative higher-order relevance
Modeling the beyond-topical aspects of relevance are currently gaining popularity in IR evaluation. For example, the discounted cumulated gain (DCG) measure implicitly models some...
Heikki Keskustalo, Kalervo Järvelin, Ari Pirk...
KDD
2006
ACM
213views Data Mining» more  KDD 2006»
16 years 2 months ago
Learning sparse metrics via linear programming
Calculation of object similarity, for example through a distance function, is a common part of data mining and machine learning algorithms. This calculation is crucial for efficie...
Glenn Fung, Rómer Rosales
VL
2003
IEEE
126views Visual Languages» more  VL 2003»
15 years 7 months ago
Spatial graph grammars for web information transformation
Thispaper presents an approach to spatial specifications for Web information transformation'. Extended from the Reserved Graph Grammar (RGG), a Spatial Graph Grammar (SGG) is...
Mei Kang Qiu, Guang-Lei Song, Jun Kong, Kang Zhang
POPL
2007
ACM
16 years 2 months ago
Logic-flow analysis of higher-order programs
This work presents a framework for fusing flow analysis and theorem proving called logic-flow analysis (LFA). The framework itthe reduced product of two abstract interpretations: ...
Matthew Might