549 search results - page 87 / 110 » Verification condition generation for conditional informatio... |
TON
2012
13 years 22 days ago
2012
—Anonymous wireless networking is studied when an adversary monitors the transmission timing of an unknown subset of the network nodes. For a desired quality of service (QoS), as...
KDD
2009
ACM
15 years 10 months ago
2009
ACM
In this paper, we consider the problem of combining link and content analysis for community detection from networked data, such as paper citation networks and Word Wide Web. Most ...
KR
2000
Springer
15 years 1 months ago
2000
Springer
We explore the possibility of a logic where a conclusion substantially improves over its premise(s): Specifically, we intend to rule out inference steps such that the premise conv...
CVPR
1999
IEEE
16 years 9 days ago
1999
IEEE
This paper presents a variational method for supervised texture segmentation, which is based on ideas coming from the curve propagation theory. We assume that a preferable texture...
CVPR
2007
IEEE
16 years 9 days ago
2007
IEEE
We describe a probabilistic framework for recognizing human activities in monocular video based on simple silhouette observations in this paper. The methodology combines kernel pr...