4276 search results - page 383 / 856 » Techniques for Empirical Validation |
155
Voted
CCS
2007
ACM
16 years 1 months ago
2007
ACM
er presents a novel approach for concisely abstracting authentication s and for subsequently analyzing those abstractions in a sound manner, i.e., deriving authentication guarante...
199
Voted
CSB
2005
IEEE
16 years 15 days ago
2005
IEEE
DNA microarray experiments generate a substantial amount of information about global gene expression. Gene expression profiles can be represented as points in multi-dimensional sp...
198
Voted
SSDBM
2005
IEEE
16 years 13 days ago
2005
IEEE
With the growing demand on cluster analysis for categorical data, a handful of categorical clustering algorithms have been developed. Surprisingly, to our knowledge, none has sati...
160
Voted
VMCAI
2005
Springer
16 years 10 days ago
2005
Springer
A Herbrand equality between expressions in a program is an equality which holds relative to the Herbrand interpretation of operators. We show that the problem of checking validity ...
178
click to vote
ISER
2004
Springer
16 years 7 days ago
2004
Springer
As a flexible needle with a bevel tip is pushed through soft tissue, the asymmetry of the tip causes the needle to bend. We propose that, by using nonholonomic kinematics, contro...