6608 search results - page 989 / 1322 » On the Completeness of Model Checking |
159
click to vote
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper proposes a method for the stabilization of vehicle formations in the plane under a fixed, but not necessarily complete, sensing graph. In this method each agent acts to ...
152
click to vote
IR
2010
15 years 4 months ago
2010
RankSVM (Herbrich et al, 2000; Joachims, 2002) is a pairwise method for designing ranking models. SVMLight is the only publicly available software for RankSVM. It is slow and, due ...
196
click to vote
COMPSYSTECH
2010
15 years 3 months ago
2010
: In this paper an approach for development of univariate time series prediction library in Java and its integration with an existing CLIPS related system is presented .A backpropa...
223
click to vote
CHB
2011
15 years 1 months ago
2011
In this paper, we explore how privacy settings and privacy policy consumption (reading the privacy policy) affect the relationship between privacy attitudes and disclosure behavio...
196
click to vote
COLING
2010
15 years 1 months ago
2010
In this paper we propose a completely unsupervised method for open-domain entity extraction and clustering over query logs. The underlying hypothesis is that classes defined by mi...