12981 search results - page 2131 / 2597 » Model Checking (Abstract) |
170
click to vote
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
Abstract. The demosaicing process converts single-CCD color representations of one color channel per pixel into full per-pixel RGB. We introduce a Bayesian technique for demosaicin...
186
Voted
DAC
2007
ACM
16 years 7 months ago
2007
ACM
Abstract-- In nanometer-scale VLSI technologies, several interconnect issues like routing congestion and interconnect delay have become the main concerns in placement. However, all...
186
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
The development of user interfaces (UIs) is one of the most timeconsuming aspects in software development. In this context, the lack of proper reuse mechanisms for UIs is increasi...
195
click to vote
RECOMB
2005
Springer
16 years 7 months ago
2005
Springer
Abstract. Protein-protein interactions play a major role in most cellular processes. Thus, the challenge of identifying the full repertoire of interacting proteins in the cell is o...
288
Voted
VLDB
2005
ACM
16 years 7 months ago
2005
ACM
Abstract Declarative queries are proving to be an attractive paradigm for interacting with networks of wireless sensors. The metaphor that "the sensornet is a database" i...