2612 search results - page 214 / 523 » Mobile Processes and Termination |
VLSISP
2008
13 years 10 months ago
2008
H.264/AVC is the latest video coding standard adopting variable block size motion estimation (VBS-ME), quarter-pixel accuracy, motion vector prediction and multi-reference frames f...
CORR
1999
Springer
13 years 10 months ago
1999
Springer
A statistical classification algorithm and its application to language identification from noisy input are described. The main innovation is to compute confidence limits on the cl...
ICLP
2010
Springer
13 years 9 months ago
2010
Springer
Abductive Logic Programming is a computationally founded representation of abductive reasoning. In most ALP frameworks, integrity constraints express domainspecific logical relati...
TCS
2010
13 years 9 months ago
2010
We present some decidability and undecidability results for subsets of the BlenX Language, a process-calculi-based programming language developed for modelling biological processe...
ASPDAC
2010
ACM
13 years 8 months ago
2010
ACM
Level-sensitive transparent latches are widely used in high-performance sequential circuit designs. Under process variations, the timing of a transparently latched circuit will ada...