Sciweavers

3533 search results - page 450 / 707
» Locally Optimized RANSAC
Sort
View
WWW
2001
ACM
16 years 6 months ago
WebQuilt: a framework for capturing and visualizing the web experience
WebQuilt is a web logging and visualization system that helps web design teams run usability tests (both local and remote) and analyze the collected data. Logging is done through ...
Jason I. Hong, James A. Landay
ICFP
2003
ACM
16 years 5 months ago
An effective theory of type refinements
We develop an explicit two level system that allows programmers to reason about the behavior of effectful programs. The first level is an ordinary ML-style type system, which conf...
Yitzhak Mandelbaum, David Walker, Robert Harper
EWSN
2006
Springer
16 years 5 months ago
Constrained Tracking on a Road Network
Many applications of wireless ad hoc sensor and actuator networks (WSANs) rely on the knowledge of node locations. These are challenging to obtain when nodes are mobile and are not...
Matthias Grossglauser, Michal Piórkowski
DCC
2008
IEEE
16 years 5 months ago
Intra Prediction via Edge-Based Inpainting
We investigate the usage of edge-based inpainting as an intra prediction method in block-based image compression. The joint utilization of edge information and the well-known Lapl...
Dong Liu, Xiaoyan Sun, Feng Wu
ICCAD
2008
IEEE
153views Hardware» more  ICCAD 2008»
16 years 2 months ago
Boolean factoring and decomposition of logic networks
This paper presents new methods for restructuring logic networks based on fast Boolean techniques. The basis for these are 1) a cut based view of a logic network, 2) exploiting th...
Alan Mishchenko, Robert K. Brayton, Satrajit Chatt...