4513 search results - page 744 / 903 » Logic programming with satisfiability |
166
Voted
INFOCOM
2011
IEEE
14 years 7 months ago
2011
IEEE
—Cooperative communication has attracted dramatic attention in the last few years due to its advantage in mitigating channel fading. Despite much effort that has been made in the...
146
Voted
INFOCOM
2012
IEEE
13 years 6 months ago
2012
IEEE
—In this paper we study the resource allocation in OFDM-based cognitive radio (CR) networks, under the consideration of many practical limitations such as imperfect spectrum sens...
124
click to vote
DAC
2003
ACM
16 years 4 months ago
2003
ACM
Partitioning an application among software running on a microprocessor and hardware co-processors in on-chip configurable logic has been shown to improve performance and energy co...
127
Voted
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
Web Services are software services that can be advertised by providers and deployed by customers using Web technologies. This concept is currently carried further to address Web s...
133
Voted
WWW
2008
ACM
16 years 4 months ago
2008
ACM
We propose a method of classifying XML documents and extracting XML schema from XML by inductive inference based on constraint logic programming. The goal of this work is to type ...