626 search results - page 83 / 126 » When Can Formal Methods Make a Real Difference |
142
Voted
KDD
2002
ACM
16 years 4 months ago
2002
ACM
In this paper, we present a new co-training strategy that makes use of unlabelled data. It trains two predictors in parallel, with each predictor labelling the unlabelled data for...
113
Voted
UAI
1994
15 years 4 months ago
1994
In previous work [BGHK92, BGHK93], we have studied the random-worlds approach--a particular (and quite powerful) method for generating degrees of belief (i.e., subjective probabil...
106
Voted
ACL
2010
15 years 1 months ago
2010
A robust dictionary of semantic frames is an essential element of natural language understanding systems that use ontologies. However, creating lexical resources that accurately c...
154
Voted
INFOCOM
2011
IEEE
14 years 7 months ago
2011
IEEE
—In a sensor network, an important problem is to provide privacy to the event detecting sensor node and integrity to the data gathered by the node. Compromised source privacy can...
145
Voted
VRST
2010
ACM
15 years 1 months ago
2010
ACM
Physical characteristics and constraints of today's head-mounted displays (HMDs) often impair interaction in immersive virtual environments (VEs). For instance, due to the li...