4134 search results - page 799 / 827 » Collaborative Practice Research |
126
click to vote
LFP
1992
15 years 3 months ago
1992
Tag handling accounts for a substantial amount of execution cost in latently typed languages such as Common LISP and Scheme, especially on architectures that provide no special ha...
114
click to vote
APCCM
2009
15 years 3 months ago
2009
In the design of multimedia systems, one of the important issues is how to deal with "Kansei" of human beings. The concept of "Kansei" in Japanese includes sev...
108
Voted
BIRTHDAY
2010
Springer
15 years 3 months ago
2010
Springer
One of the obstacles in automatic program proving is to obtain suitable loop invariants. The invariant of a loop is a weakened form of its postcondition (the loop's goal, als...
121
click to vote
MOBICOM
2010
ACM
15 years 2 months ago
2010
ACM
Multi-User MIMO promises to increase the spectral efficiency of next generation wireless systems and is currently being incorporated in future industry standards. Although a signi...
121
click to vote
CCS
2010
ACM
15 years 2 months ago
2010
ACM
A web application is a "two-part" program, with its components deployed both in the browser and in the web server. The communication between these two components inevita...