350 search results - page 31 / 70 » Soft Linear Set Theory |
138
click to vote
CSE
2009
IEEE
15 years 7 months ago
2009
IEEE
ā Low energy consumption is a critical issue in embedded systems design. As the technology feature sizes of SoC (Systems on Chip) become smaller and smaller, the percentage of le...
115
click to vote
COR
2006
15 years 3 months ago
2006
Home health care, i.e. visiting and nursing patients in their homes, is a growing sector in the medical service business. From a staff rostering point of view, the problem is to f...
129
click to vote
AMAI
2006
Springer
15 years 3 months ago
2006
Springer
In this paper we study multi issue alternating-offers bargaining in a perfect information finite horizon setting, we determine the pertinent subgame perfect equilibrium, and we pro...
164
click to vote
MP
2011
14 years 10 months ago
2011
Lifting is a procedure for deriving valid inequalities for mixed-integer sets from valid inequalities for suitable restrictions of those sets. Lifting has been shown to be very eļ¬...
145
click to vote
APLAS
2011
ACM
14 years 3 months ago
2011
ACM
Veriļ¬cation of programs with procedures, multi-threaded programs, and higher-order functional programs can be eļ¬ectively auusing abstraction and reļ¬nement schemes that rely o...