623 search results - page 60 / 125 » Declarative Network Verification |
NIPS
2008
13 years 10 months ago
2008
For many supervised learning problems, we possess prior knowledge about which features yield similar information about the target variable. In predicting the topic of a document, ...
AAAI
1996
13 years 10 months ago
1996
This paper describes the results of applying a modified version of hierarchical task-network (HTN) planning to the problem of declarer play in contract bridge. We represent inform...
EUSAI
2004
Springer
14 years 15 days ago
2004
Springer
Home networks and the interconnection of home appliances is a classical theme in ubiquitous computing research. Security is a recurring concern, but there is a lack of awareness of...
INFOCOM
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract—Spectrum sensing is one of the key enabling technologies in Cognitive Radio Networks (CRNs). In CRNs, secondary users (SUs) are allowed to exploit the spectrum opportuni...
INFOCOM
2010
IEEE
13 years 7 months ago
2010
IEEE
—The traditional formulation of the total value of information transfer is a multi-commodity flow problem. Here, each data source is seen as generating a commodity along a fixe...