Sciweavers

3573 search results - page 78 / 715
» Reasoning about Codata
Sort
View
CVPR
2008
IEEE
16 years 4 months ago
What can missing correspondences tell us about 3D structure and motion?
Practically all existing approaches to structure and motion computation use only positive image correspondences to verify the camera pose hypotheses. Incorrect epipolar geometries...
Christopher Zach, Arnold Irschara, Horst Bischof
CHI
2004
ACM
16 years 3 months ago
Designing the whyline: a debugging interface for asking questions about program behavior
Debugging is still among the most common and costly of programming activities. One reason is that current debugging tools do not directly support the inquisitive nature of the act...
Andrew Jensen Ko, Brad A. Myers
148
Voted
ESAW
2007
Springer
15 years 8 months ago
Arguing about Reputation: The LRep Language
In the field of multiagent systems (MAS), the computational models of trust and reputation have attracted increasing interest since electronic and open environments became a reali...
Isaac Pinyol, Jordi Sabater-Mir
151
Voted
IUI
2006
ACM
15 years 8 months ago
Augmenting kitchen appliances with a shared context using knowledge about daily events
Networked appliances can simplify our lives, but interacting with them can be difficult in itself. KitchenSense is an early prototype of a networked kitchen full of sensors that u...
Chia-Hsun Jackie Lee, Leonardo Bonanni, José...
HUC
2009
Springer
15 years 7 months ago
It's not all about "Green": energy use in low-income communities
Personal energy consumption, specifically home energy consumption such as heating, cooling, and electricity, has been an important environmental and economic topic for decades. De...
Tawanna Dillahunt, Jennifer Mankoff, Eric Paulos, ...