92 search results - page 8 / 19 » Construction of examination timetables based on ordering heu... |
109
click to vote
CORR
2007
Springer
15 years 1 months ago
2007
Springer
Abstract- We investigate cooperative wireless relay networks in which the nodes can help each other in data transmission. We study different coding strategies in the single-source ...
79
Voted
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
Due to the widespread appearance of filesharing systems like Napster, the peer-to-peer concept has recently become well known. So far, these file-sharing systems have been used fo...
131
click to vote
CAV
2009
Springer
16 years 2 months ago
2009
Springer
Quantifier reasoning in Satisfiability Modulo Theories (SMT) is a long-standing challenge. The practical method employed in modern SMT solvers is to instantiate quantified formulas...
139
Voted
CCS
2010
ACM
14 years 11 months ago
2010
ACM
In this paper we outline requirements, challenges, and designs for encounter-based mobile social networks, where relationships are based on a temporarily shared location. To illus...
120
click to vote
WECWIS
2003
IEEE
15 years 7 months ago
2003
IEEE
There are many e-commerce applications on the web. A common shortcoming is the lack of customer service and marketing analysis tools in most ecommerce web sites. In order to overc...