206 search results - page 16 / 42 » Sharing in the Weak Lambda-Calculus |
109
click to vote
TCS
2002
15 years 3 days ago
2002
In this paper we study a process algebra whose semantics is based on true concurrency. In our model, actions are defined in terms of the resources they need to execute, which allo...
123
Voted
COCO
1993
Springer
15 years 4 months ago
1993
Springer
We introduce a linear algebraic model of computation, the Span Program, and prove several upper and lower bounds on it. These results yield the following applications in complexit...
WOTUG
2008
15 years 1 months ago
2008
Abstract. The Santa Claus problem provides an excellent exercise in concurrent programming and can be used to show the simplicity or complexity of solving problems using a particul...
77
Voted
NIPS
2001
15 years 1 months ago
2001
This article presents a Support Vector Machine (SVM) like learning system to handle multi-label problems. Such problems are usually decomposed into many two-class problems but the...
81
Voted
HICSS
2006
IEEE
15 years 6 months ago
2006
IEEE
Cooperation among bidders in traditional auctions is generally forbidden because it is harmful to the interests of sellers. However, in a new type of online auction, the group-buy...