140 search results - page 24 / 28 » Extracting frame conditions from operation contracts |
PAMI
2008
13 years 7 months ago
2008
Detecting different categories of objects in image and video content is one of the fundamental tasks in computer vision research. The success of many applications such as visual s...
BMCBI
2008
13 years 7 months ago
2008
Background: Inferring gene regulatory networks from data requires the development of algorithms devoted to structure extraction. When only static data are available, gene interact...
CAV
2009
Springer
14 years 8 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
NOSSDAV
2009
Springer
14 years 2 months ago
2009
Springer
We investigate the problem of securing the delivery of scalable video streams so that receivers can ensure the authenticity (originality and integrity) of the video. Our focus is ...
APCCAS
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract - This paper describes the design of a 12-bit digital-to-analog converter for a wireline modem chip implemented in a 0.13tm digital CMOS technology. Transistor-level simul...