Sciweavers

2847 search results - page 245 / 570
» The Context-Dependent Role Model
Sort
View
ENTCS
2000
112views more  ENTCS 2000»
15 years 6 months ago
Typed Multiset Rewriting Specifications of Security Protocols
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...
Iliano Cervesato
MICAI
2010
Springer
15 years 5 months ago
Information Retrieval with a Simplified Conceptual Graph-Like Representation
We argue for that taking into account semantic relations between words in the text can improve information retrieval performance. We implemented the process of information retrieva...
Sonia Ordoñez-Salinas, Alexander F. Gelbukh
CVPR
2008
IEEE
16 years 8 months ago
Color constancy beyond bags of pixels
Estimating the color of a scene illuminant often plays a central role in computational color constancy. While this problem has received significant attention, the methods that exi...
Ayan Chakrabarti, Keigo Hirakawa, Todd Zickler
ISBI
2007
IEEE
16 years 1 months ago
Patch-Based Nonlocal Denoising for MRI and Ultrasound Images
Image model plays a critical role in recovering diagnosis-relevant information from noisy observation data. Unlike conventional denoising techniques based on local models, a patch...
Xin Li
IFIP
2007
Springer
16 years 28 days ago
Platform-Independent Programming of Data-Intensive Applications Using UML
The shift of development effort onto the model level, as postulated by MDA, provides an opportunity for establishing a set of modelling constructs that is more intuitive and homoge...
Grzegorz Falda, Piotr Habela, Krzysztof Kaczmarski...