1421 search results - page 22 / 285 » The First and Second Max-SAT Evaluations |
WMPI
2004
ACM
14 years 29 days ago
2004
ACM
The ever increasing gap in processor and memory speeds has a very negative impact on performance. One possible solution to overcome this problem is the Kilo-instruction processor. ...
AIEDU
2004
13 years 7 months ago
2004
The REDEEM authoring environment allows teachers to create learning environments from existing computer-based training (CBT) by imposing their pedagogical preferences about how stu...
ANTSW
2010
Springer
13 years 5 months ago
2010
Springer
Activator-inhibitor models have been widely used to explain several morphogenetic processes. They have also been used to engineer algorithms for computer graphics, distributed syst...
ICC
2009
IEEE
13 years 5 months ago
2009
IEEE
In Cooperative Automatic Repeat reQuest (C-ARQ) protocols, one or more nodes can act as relays, collaborating in the frame retransmission process between a sender and a destination...
ICMCS
2009
IEEE
13 years 5 months ago
2009
IEEE
Although mobile devices are rich sources of context information, the distribution of context in mobile environments is often hindered by the limited battery life, and wireless con...