9067 search results - page 1540 / 1814 » Adaptive Model Checking |
206
click to vote
IPPS
2003
IEEE
16 years 14 days ago
2003
IEEE
Tiled architectures can provide a model for early estimation of global interconnect costs. A design exploration tool for reconfigurable architectures is currently under developmen...
287
click to vote
SAC
2003
ACM
16 years 13 days ago
2003
ACM
In this paper, we propose a manpower allocation model with time windows which is of practical interest to serviceman scheduling operations. Specifically, this problem originates f...
173
click to vote
SIGIR
2003
ACM
16 years 13 days ago
2003
ACM
This paper investigates the pre-conditions for successful combination of document representations formed from structural markup for the task of known-item search. As this task is ...
199
click to vote
ECCV
2010
Springer
16 years 10 days ago
2010
Springer
Abstract. We use a simple yet powerful higher-order conditional random field (CRF) to model optical flow. It consists of a standard photoconsistency cost and a prior on affine mo...
178
click to vote
UM
2010
Springer
16 years 7 days ago
2010
Springer
The effectiveness of support provided to virtual communities depends strongly on what we know about a particular community of people and in what areas the community needs support....