4163 search results - page 465 / 833 » A comprehensive combination framework |
179
click to vote
IJCV
2000
15 years 6 months ago
2000
We investigate the properties of a metric between two distributions, the Earth Mover's Distance (EMD), for content-based image retrieval. The EMD is based on the minimal cost ...
187
click to vote
IFM
2010
Springer
15 years 5 months ago
2010
Springer
Event-B has emerged as one of the dominant state-based formal techniques used for modelling control-intensive applications. Due to the blocking semantics of events, their ordering ...
157
click to vote
SAS
2010
Springer
15 years 5 months ago
2010
Springer
We describe Deskcheck, a parametric static analyzer that is able to establish properties of programs that manipulate dynamically allocated memory, arrays, and integers. Deskcheck c...
170
click to vote
TCS
2010
15 years 5 months ago
2010
This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...
269
click to vote
EUROMED
2010
15 years 4 months ago
2010
Despite the multitude of impact measurement techniques available to heritage site managers there is a case for the bigger strategic picture to figure more strongly in impact measur...