Sciweavers

294 search results - page 41 / 59
» Identifying Conditional Causal Effects
Sort
View
ECCV
2008
Springer
14 years 10 months ago
Priors for Large Photo Collections and What They Reveal about Cameras
A large photo collection downloaded from the internet spans a wide range of scenes, cameras, and photographers. In this paper we introduce several novel priors for statistics of su...
Sujit Kuthirummal, Aseem Agarwala, Dan B. Goldman,...
ICCAD
2007
IEEE
134views Hardware» more  ICCAD 2007»
14 years 5 months ago
Hybrid CEGAR: combining variable hiding and predicate abstraction
ion Chao Wang NEC Laboratories America Hyondeuk Kim University of Colorado Aarti Gupta NEC Laboratories America Variable hiding and predicate abstraction are two popular abstracti...
Chao Wang, Hyondeuk Kim, Aarti Gupta
ICCAD
2001
IEEE
106views Hardware» more  ICCAD 2001»
14 years 5 months ago
System-Level Power/Performance Analysis of Portable Multimedia Systems Communicating over Wireless Channels
This paper presents a new methodology for system-level power and performance analysis of wireless multimedia systems. More precisely, we introduce an analytical approach based on ...
Radu Marculescu, Amit Nandi, Luciano Lavagno, Albe...
PLPV
2010
ACM
14 years 5 months ago
Free theorems for functional logic programs
Type-based reasoning is popular in functional programming. In particular, parametric polymorphism constrains functions in such a way that statements about their behavior can be de...
Jan Christiansen, Daniel Seidel, Janis Voigtlä...
ISBI
2009
IEEE
14 years 3 months ago
Concept Detection in Longitudinal Brain MR Images Using Multi-Modal Cues
Advances in medical imaging techniques and devices has resulted in increased use of imaging in monitoring disease progression in patients. However, extracting decision-enabling in...
Jesus Caban, Noah Lee, Shahram Ebadollahi, Andrew ...