50 search results - page 9 / 10 » Robust Satisfaction |
KDD
2008
ACM
14 years 7 months ago
2008
ACM
Learning to rank from relevance judgment is an active research area. Itemwise score regression, pairwise preference satisfaction, and listwise structured learning are the major te...
BIRTHDAY
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. Classical formalizations of systems and properties are boolean: given a system and a property, the property is either true or false of the system. The classical view part...
CP
2006
Springer
13 years 11 months ago
2006
Springer
ion of a given partial assignment of values to variables. Compared with other symmetry breaking techniques, the big advantage of dynamic symmetry breaking is that it can accommodat...
INFOCOM
2009
IEEE
14 years 2 months ago
2009
IEEE
—Distributed object search is the primary function of Peer-to-Peer (P2P) file sharing system to locate and transfer the file. The predominant search schemes in unstructured P2P...
WOWMOM
2009
ACM
14 years 1 months ago
2009
ACM
We consider the case of sparse mobile sensors deployed to implement missions in challenging environments. This paper explores a notion of tour networks that is well suited to circ...