1299 search results - page 74 / 260 » Computing Minimal Diagnoses with Critical Set Algorithms |
STACS
2007
Springer
15 years 3 months ago
2007
Springer
We consider deducibility constraints, which are equivalent to particular Diophantine systems, arising in the automatic verification of security protocols, in presence of associati...
CSDA
2008
14 years 9 months ago
2008
Machine learning techniques are widely used in many fields. One of the applications of machine learning in the field of the information security is classification of a computer be...
ICML
2006
IEEE
15 years 10 months ago
2006
IEEE
Central and subspace clustering methods are at the core of many segmentation problems in computer vision. However, both methods fail to give the correct segmentation in many pract...
IPPS
2006
IEEE
15 years 3 months ago
2006
IEEE
As mobile ad hoc networks provide a wide range of possibly critical services, providing quality of service guarantees becomes an essential element. Yet there is a limited understa...
ICPP
2006
IEEE
15 years 3 months ago
2006
IEEE
RNA pseudoknot prediction is an algorithm for RNA sequence search and alignment. An important building block towards pseudoknot prediction is RNA secondary structure prediction. T...