Sciweavers

4140 search results - page 215 / 828
» A Use Case Based Approach to Feature Models' Construction
Sort
View
CORR
2000
Springer
91views Education» more  CORR 2000»
15 years 6 months ago
Multi-Agent Only Knowing
Levesque introduced the notion of only-knowing to precisely capture the beliefs of a knowledge base. He also showed how only-knowing can be used to formalize non-monotonic behavio...
Joseph Y. Halpern, Gerhard Lakemeyer
JUCS
2008
149views more  JUCS 2008»
15 years 6 months ago
Formal Security Definition and Efficient Construction for Roaming with a Privacy-Preserving Extension
: In a secure roaming scenario, a user U travels to a foreign network and communicates with a foreign server V securely so that no one other than U and V can obtain the messages ex...
Guomin Yang, Duncan S. Wong, Xiaotie Deng
COMPSAC
2002
IEEE
15 years 11 months ago
The Method of Software Reliability Growth Models Choice Using Assumptions Matrix
The method of choice of the software reliability models based on the analysis of assumptions and compatibility both input and output parameters is offered. This method is illustra...
Vyacheslav S. Kharchenko, O. M. Tarasyuk, Vladimir...
WACV
2008
IEEE
16 years 29 days ago
Object Categorization Based on Kernel Principal Component Analysis of Visual Words
In recent years, many researchers are studying object categorization problem. It is reported that bag of keypoints approach which is based on local features without topological in...
Kazuhiro Hotta
VLSM
2005
Springer
16 years 2 days ago
Advances in Variational Image Segmentation Using AM-FM Models: Regularized Demodulation and Probabilistic Cue Integration
Current state-of-the-art methods in variational image segmentation using level set methods are able to robustly segment complex textured images in an unsupervised manner. In recent...
Georgios Evangelopoulos, Iasonas Kokkinos, Petros ...