Sciweavers

3238 search results - page 318 / 648
» On the Computational Interpretation of Negation
Sort
View
DAC
2002
ACM
16 years 7 months ago
A factorization-based framework for passivity-preserving model reduction of RLC systems
We present a framework for passivity-preserving model reduction for RLC systems that includes, as a special case, the well-known PRIMA model reduction algorithm. This framework pr...
Q. Su, Venkataramanan Balakrishnan, Cheng-Kok Koh
MICCAI
2004
Springer
16 years 7 months ago
On Normalized Convolution to Measure Curvature Features for Automatic Polyp Detection
Early removal of polyps has proven to decrease the incidence of colon cancer. We aim to increase the sensitivity of the screening by automatic detection of polyps. It requires accu...
Cees van Wijk, Roel Truyen, Rogier E. van Gelder, ...
197
Voted
ICML
2008
IEEE
16 years 7 months ago
Efficiently learning linear-linear exponential family predictive representations of state
Exponential Family PSR (EFPSR) models capture stochastic dynamical systems by representing state as the parameters of an exponential family distribution over a shortterm window of...
David Wingate, Satinder P. Singh
ICDT
2009
ACM
129views Database» more  ICDT 2009»
16 years 7 months ago
Faster join-projects and sparse matrix multiplications
Computing an equi-join followed by a duplicate eliminating projection is conventionally done by performing the two operations in serial. If some join attribute is projected away t...
Rasmus Resen Amossen, Rasmus Pagh
CHI
2008
ACM
16 years 7 months ago
Interaction criticism: a proposal and framework for a new discipline of hci
Though interaction designers critique interfaces as a regular part of their research and practice, the field of HCI lacks a proper discipline of interaction criticism. By interact...
Jeffrey Bardzell, Shaowen Bardzell