92 search results - page 8 / 19 » Construction of examination timetables based on ordering heu... |
CORR
2007
Springer
13 years 7 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 ...
HICSS
2003
IEEE
14 years 25 days 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...
CAV
2009
Springer
14 years 8 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...
CCS
2010
ACM
13 years 5 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...
WECWIS
2003
IEEE
14 years 24 days 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...