549 search results - page 75 / 110 » Verification condition generation for conditional informatio... |
ISBI
2009
IEEE
15 years 7 months ago
2009
IEEE
Fluorescence tomography has become increasingly popular for detecting molecular targets for imaging gene expression and other cellular processes in vivo in small animal studies. I...
103
Voted
MM
2004
ACM
15 years 6 months ago
2004
ACM
Given time and location information about digital photographs we can automatically generate an abundance of related contextual metadata, using off-the-shelf and Web-based data so...
123
click to vote
ISPD
2004
ACM
15 years 6 months ago
2004
ACM
Modern processors and SoCs require the adoption of poweroriented design styles, due to the implications that power consumption may have on reliability, cost and manufacturability ...
222
click to vote
ICUIMC
2011
ACM
14 years 4 months ago
2011
ACM
Physical layer capture in WLANs makes a receiver to decode a relatively strong packet in a collision. According to recent works, an augmented physical layer capture handles interf...
123
click to vote
BMCBI
2008
15 years 20 days ago
2008
Background: The analysis of large-scale data sets via clustering techniques is utilized in a number of applications. Biclustering in particular has emerged as an important problem...