2141 search results - page 84 / 429 » A distance model for rhythms |
116
click to vote
ICMCS
2000
IEEE
15 years 2 months ago
2000
IEEE
In content based retrieval, color indexing is one of the most prevalent retrieval methods. Two key problems in color indexing are (1) determination of the color space and (2) fin...
CAE
2007
15 years 9 days ago
2007
We use a set of photographs showing similar scenes as a model for a single photograph this scene. A distance measure for this model is defined by correlating the neigborhoods of p...
CAV
2004
Springer
15 years 3 months ago
2004
Springer
The counterexamples produced by model checkers are often lengthy and difficult to understand. In practical verification, showing the existence of a (potential) bug is not enough: ...
DSRT
2005
IEEE
15 years 3 months ago
2005
IEEE
Human-to-human interaction across distributed applications requires that sufficient consistency be maintained among participants in the face of network characteristics such as lat...
CSFW
2009
IEEE
15 years 4 months ago
2009
IEEE
We present a formal model for modeling and reasoning about security protocols. Our model extends standard, inductive, trace-based, symbolic approaches with a formalization of phys...