Sciweavers

1288 search results - page 142 / 258
» Visual Generalization in Programming by Example
Sort
View
IVC
2008
74views more  IVC 2008»
15 years 3 months ago
Log-polar mapping template design: From task-level requirements to geometry parameters
The best parameters defining the geometry of a visual sensor generally depend on the particular visual task the sensor is intended to be used in. However, translating task require...
V. Javier Traver, Filiberto Pla
ACMACE
2011
ACM
14 years 3 months ago
Mobile 3D graphics and virtual reality interaction
Mobile devices such as smartphones and tablets offer great new possibilities for the creation of 3D games and virtual reality environments. However, interaction with objects in th...
Wolfgang Hürst, Matthias Helder
ICFP
2008
ACM
16 years 3 months ago
Implicitly-threaded parallelism in Manticore
The increasing availability of commodity multicore processors is making parallel computing available to the masses. Traditional parallel languages are largely intended for large-s...
Matthew Fluet, Mike Rainey, John H. Reppy, Adam Sh...
PLDI
2005
ACM
15 years 8 months ago
TraceBack: first fault diagnosis by reconstruction of distributed control flow
Faults that occur in production systems are the most important faults to fix, but most production systems lack the debugging facilities present in development environments. TraceB...
Andrew Ayers, Richard Schooler, Chris Metcalf, Ana...
ICFP
2010
ACM
15 years 4 months ago
The impact of higher-order state and control effects on local relational reasoning
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
Derek Dreyer, Georg Neis, Lars Birkedal