510 search results - page 97 / 102 » An Algebraic Framework for Urgency |
110
click to vote
CVPR
2006
IEEE
16 years 1 months ago
2006
IEEE
Image texture analysis has received a lot of attention in the past years. Researchers have developed many texture signatures based on texture measurements, for the purpose of uniq...
MICCAI
2008
Springer
16 years 25 days ago
2008
Springer
Richly labeled images representing several sub-structures of an organ occur quite frequently in medical images. For example, a typical brain image can be labeled into grey matter, ...
101
click to vote
WWW
2007
ACM
16 years 10 days ago
2007
ACM
Many applications in analytical domains often have the need to "connect the dots" i.e., query about the structure of data. In bioinformatics for example, it is typical t...
209
click to vote
POPL
2009
ACM
16 years 9 days ago
2009
ACM
As cryptographic proofs have become essentially unverifiable, cryptographers have argued in favor of developing techniques that help tame the complexity of their proofs. Game-base...
187
Voted
POPL
2004
ACM
15 years 12 months ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...