797 search results - page 129 / 160 » Observing Success in the Pi-Calculus |
159
click to vote
INFOCOM
2009
IEEE
16 years 22 days 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...
160
click to vote
ATAL
2009
Springer
16 years 20 days 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...
180
click to vote
CIKM
2009
Springer
16 years 20 days 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...
165
Voted
DIS
2009
Springer
16 years 20 days 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 ...
162
click to vote
SPIN
2009
Springer
16 years 19 days 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 ...