Sciweavers

6042 search results - page 353 / 1209
» Repeated Observation Models
Sort
View
WECWIS
2006
IEEE
78views ECommerce» more  WECWIS 2006»
16 years 23 days ago
Improving Patient Activity Schedules by Multi-agent Pareto Appointment Exchanging
We present a dynamic and distributed approach to the hospital patient scheduling problem: the multi-agent Pareto-improvement appointment exchanging algorithm, MPAEX. It respects t...
Ivan B. Vermeulen, Sander M. Bohte, D. J. A. Somef...
ACCV
2006
Springer
16 years 23 days ago
Stereo Matching Using Iterated Graph Cuts and Mean Shift Filtering
In this paper, we propose a new stereo matching algorithm using an iterated graph cuts and mean shift filtering technique. Our algorithm consists of following two steps. In the ļ¬...
Ju Yong Chang, Kyoung Mu Lee, Sang Uk Lee
ASPLOS
2006
ACM
16 years 22 days ago
Mercury and freon: temperature emulation and management for server systems
Power densities have been increasing rapidly at all levels of server systems. To counter the high temperatures resulting from these densities, systems researchers have recently st...
Taliver Heath, Ana Paula Centeno, Pradeep George, ...
ISSTA
2006
ACM
16 years 22 days ago
Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...
Jamieson M. Cobleigh, George S. Avrunin, Lori A. C...
DATE
2005
IEEE
109views Hardware» more  DATE 2005»
16 years 11 days ago
Systematic Analysis of Active Clock Deskewing Systems Using Control Theory
— A formal methodology for the analysis of a closed loop clock distribution and active deskewing network is proposed. In this paper an active clock distribution and deskewing net...
Vinil Varghese, Tom Chen, Peter Michael Young