1724 search results - page 270 / 345 » Abstract Interpreters for Free |
127
click to vote
HICSS
2007
IEEE
16 years 13 days ago
2007
IEEE
Abstract— Smartocracy is a social software system for collective decision making. The system is composed of a social network that links individuals to those they trust to make go...
134
click to vote
INFOCOM
2007
IEEE
16 years 12 days ago
2007
IEEE
Abstract— TCP/IP can be interpreted as a distributed primaldual algorithm to maximize aggregate utility over source rates. It has recently been shown that an equilibrium of TCP/I...
183
click to vote
MOBIQUITOUS
2007
IEEE
16 years 11 days ago
2007
IEEE
Abstract— Body sensor networks consisting of low-power onbody wireless sensors attached to mobile users will be used in the future to monitor the health and well being of patient...
143
click to vote
CAV
2007
Springer
16 years 8 days ago
2007
Springer
Liveness temporal properties state that something “good” eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bo...
157
Voted
ECML
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. The area under the ROC curve (AUC) has been widely used to measure ranking performance for binary classification tasks. AUC only employs the classifier’s scores to ra...