831 search results - page 125 / 167 » Coalgebraic Correspondence Theory |
IWC
2010
14 years 10 months ago
2010
This paper represents a personal view of the state of HCI as a design discipline and as a scientific discipline, and how this is changing in the face...
LICS
2010
IEEE
14 years 10 months ago
2010
IEEE
Psi-calculi extend the pi-calculus with nominal datatypes to represent data, communication channels, and logics for facts and conditions. This general framework admits highly expr...
MST
2010
14 years 10 months ago
2010
We study a family of problems, called Maximum Solution (Max Sol), where the objective is to maximise a linear goal function over the feasible integer assignments to a set of variab...
SIAMJO
2010
14 years 10 months ago
2010
Proximal bundle methods have been shown to be highly successful optimization methods for unconstrained convex problems with discontinuous first derivatives. This naturally leads ...
SIGOPS
2010
14 years 10 months ago
2010
Dependencies among system components are crucial to locating root errors in a distributed system. In this paper, we propose an approach to mine intercomponent dependencies from un...