3082 search results - page 493 / 617 » Deviation Analysis: A New Use of Model Checking |
192
click to vote
CCS
2010
ACM
15 years 6 months ago
2010
ACM
Many cryptographic tasks and protocols, such as non-repudiation, contract-signing, voting, auction, identity-based encryption, and certain forms of secure multi-party computation,...
173
click to vote
SSIAI
2002
IEEE
15 years 11 months ago
2002
IEEE
The new image compression standard, JPEG2000, provides higher compression rates for the same visual quality for grayscale and color images than JPEG. JPEG2000 is being adopted for...
463
click to vote
IPMI
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. Multi-object segmentation with mutual interaction is a challenging task in medical image analysis. We report a novel solution to a segmentation problem, in which target o...
156
click to vote
IPPS
2007
IEEE
16 years 17 days ago
2007
IEEE
The excessive complexity of both machine architectures and applications have made it difficult for compilers to statically model and predict application behavior. This observatio...
177
click to vote
BMCBI
2007
2007
Penalized likelihood for sparse contingency tables with an application to full-length cDNA libraries
15 years 6 months ago
Background: The joint analysis of several categorical variables is a common task in many areas of biology, and is becoming central to systems biology investigations whose goal is ...