241 search results - page 48 / 49 » Symbolic Analysis Methods for Masks, Circuits, and Systems |
TCSV
2010
13 years 1 months ago
2010
We propose a compressed domain video object segmentation method for MPEG or MPEG-like encoded videos. Computational superiority is the main advantage of the compressed domain proc...
ESOP
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
ECIS
2004
13 years 7 months ago
2004
As Information Systems (IS) research increasingly acknowledges the importance of non-positivist approaches, the case for a plurality of theories to guide qualitative studies has g...
IMAGING
2003
13 years 7 months ago
2003
Many image formation processes are complex interactions of several sub-processes and the analysis of the resulting images requires often to separate the influence of these sub-pr...
ISCAS
2005
IEEE
14 years 7 hour ago
2005
IEEE
Recent work has shown that the use of switched current methods can provide an effective route to implementation of analog IC functionality using a standard digital CMOS process. Fu...