15614 search results - page 221 / 3123 » The State of State |
192
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
Abstract. In this paper we discuss new adaptive proposal strategies for sequential Monte Carlo algorithms--also known as particle filters--relying on new criteria evaluating the qu...
179
click to vote
MASCOTS
2010
15 years 3 months ago
2010
—Flash-based Solid-State Drives (SSDs) have become a promising alternative to magnetic Hard Disk Drives (HDDs) thanks to the large improvements in performance, power consumption,...
141
click to vote
RV
2010
Springer
15 years 3 months ago
2010
Springer
Researchers have developed a number of runtime verification tools that generate runtime monitors in the form of AspectJ aspects. In this work, we present Clara, a novel framework ...
131
click to vote
SCHEDULING
2010
15 years 3 months ago
2010
Scheduling term-end exams (TEE) at the United States Military Academy in West Point is unlike any other exam timetabling problem we know of. Exam timetabling normally produces a c...
145
click to vote
TCS
2010
15 years 3 months ago
2010
The refinement calculus of Back, Morgan, Morris, and others is based on monotone predicate transformers (weakest preconditions) where conjunctions stand for demonic choices betwee...