4242 search results - page 380 / 849 » An Event Spacing Experiment |
198
click to vote
ADAEUROPE
2008
Springer
15 years 9 months ago
2008
Springer
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
213
click to vote
CAV
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. This paper develops a local reasoning method to check lineartime temporal properties of concurrent programs. In practice, it is often infeasible to model check over the p...
226
click to vote
DRR
2008
15 years 9 months ago
2008
We describe a methodology for retrieving document images from large extremely diverse collections. First we perform content extraction, that is the location and measurement of reg...
180
click to vote
ICMLA
2007
15 years 9 months ago
2007
This paper presents the application of a reinforcement learning (RL) approach for the near-optimal control of a re-entrant line manufacturing (RLM) model. The RL approach utilizes...
203
click to vote
MVA
2007
15 years 9 months ago
2007
We propose a method to stabilize illumination color estimation by using the idea of an “Illumination line segment”. It is a finite line where every illumination color exists ...