Sciweavers

628 search results - page 61 / 126
» Effectively Open Real Functions
Sort
View
OSDI
2006
ACM
16 years 3 months ago
From Uncertainty to Belief: Inferring the Specification Within
Automatic tools for finding software errors require a set of specifications before they can check code: if they do not know what to check, they cannot find bugs. This paper presen...
Ted Kremenek, Paul Twohey, Godmar Back, Andrew Y. ...
107
Voted
BMCBI
2005
97views more  BMCBI 2005»
15 years 3 months ago
Comparative mapping of sequence-based and structure-based protein domains
Background: Protein domains have long been an ill-defined concept in biology. They are generally described as autonomous folding units with evolutionary and functional independenc...
Ya Zhang, John-Marc Chandonia, Chris H. Q. Ding, S...
130
Voted
ICPR
2008
IEEE
16 years 4 months ago
A new approach to 3D shape recovery of local planar surface patches from shift-variant blurred images
A new approach is presented for 3D shape recovery of local planar surface patches from two shift/spacevariant defocused images. It is based on a recently proposed technique for in...
Murali Subbarao, Xue Tu, Youn-sik Kang
114
Voted
ICCAD
2005
IEEE
93views Hardware» more  ICCAD 2005»
16 years 8 days ago
Eliminating wire crossings for molecular quantum-dot cellular automata implementation
— When exploring computing elements made from technologies other than CMOS, it is imperative to investigate the effects of physical implementation constraints. This paper focuses...
Amitabh Chaudhary, Danny Z. Chen, Kevin Whitton, M...
104
Voted
ICASSP
2008
IEEE
15 years 9 months ago
High-dynamic range compression using a fast multiscale optimization
to appear in Proc. IEEE Int’l Conf. on Acoustics, Speech, and Signal Processing, March, 2008 High-dynamic-range medical images take intensity values which cannot be visualized o...
Matthieu Maitre, Yunqiang Chen, Tong Fang