797 search results - page 129 / 160 » Observing Success in the Pi-Calculus |
137
click to vote
INFOCOM
2009
IEEE
15 years 11 months ago
2009
IEEE
Distributed opportunistic scheduling (DOS) is studied for wireless ad-hoc networks in which many links contend for the channel using random access before data transmissions. Simpl...
131
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
Certain observable features (tags), shared by a group of similar agents, can be used to signal intentions and can be effectively used to infer unobservable properties. Such infere...
157
click to vote
CIKM
2009
Springer
15 years 11 months ago
2009
Springer
Understanding intents from search queries can improve a user’s search experience and boost a site’s advertising profits. Query tagging via statistical sequential labeling mode...
135
Voted
DIS
2009
Springer
15 years 11 months ago
2009
Springer
Multiple-instance learning (MIL) is a generalization of the supervised learning problem where each training observation is a labeled bag of unlabeled instances. Several supervised ...
133
click to vote
SPIN
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...