1210 search results - page 153 / 242 » Specifying Precise Use Cases with Use Case Charts |
CVPR
2009
IEEE
15 years 4 months ago
2009
IEEE
During this talk, I will introduce a novel family of contextual measures of similarity between distributions: the similarity between two distributions q and p is measured in the co...
JACM
2002
13 years 8 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
CNSR
2005
IEEE
14 years 2 months ago
2005
IEEE
Bit Error Rate (BER) and Packet Error Rate (PER) are important Quality of Service Parameters for Wireless network. Most of researches in QoS have been devoted to the analysis of B...
BMCBI
2005
13 years 8 months ago
2005
Background: In the context of the BioCreative competition, where training data were very sparse, we investigated two complementary tasks: 1) given a Swiss-Prot triplet, containing...
ECCV
2000
Springer
14 years 10 months ago
2000
Springer
Abstract. Recent human vision research [1] suggests modelling preattentive texture segmentation by taking a set of feature samples from a local region on each side of a hypothesize...