1422 search results - page 194 / 285 » Test Generation Algorithms Based on Preorder Relations |
130
click to vote
UTP
2010
15 years 1 months ago
2010
In this paper, we present various extensions of Isabelle/HOL by theories that are essential for several formal methods. First, we explain how we have developed an Isabelle/HOL theo...
170
click to vote
HAIS
2011
Springer
14 years 6 months ago
2011
Springer
One of the main problems that modern e-mail systems face is the management of the high degree of spam or junk mail they recieve. Those systems are expected to be able to distinguis...
130
Voted
WWW
2010
ACM
15 years 6 months ago
2010
ACM
In this paper, we demonstrate a novel landmark photo search and browsing system, Agate, which ranks landmark image search results considering their relevance, diversity and qualit...
120
click to vote
AVI
2004
15 years 4 months ago
2004
Complex hypermedia structures can be difficult to author and maintain, especially when the usual hierarchic representation cannot capture important relations. We propose a graph-b...
118
Voted
UAI
2003
15 years 4 months ago
2003
In this paper we present a family of models and learning algorithms that can simultaneously align and cluster sets of multidimensional curves measured on a discrete time grid. Our...