8928 search results - page 474 / 1786 » Modeling Current Events |
161
click to vote
ICPR
2000
IEEE
16 years 7 months ago
2000
IEEE
The structural health of airframes is often monitored by analysis of the frequency of occurrence matrix (FOOM) produced after each flight. Each cell in the matrix records a stress...
280
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
In recent years we have seen great progress made in the area of automatic source-level static analysis tools. However, most of today's program verification tools are limited ...
179
click to vote
IEEECIT
2009
IEEE
16 years 27 days ago
2009
IEEE
Abstract—The increasing need for continuously available software systems has raised two key-issues: self-adaptation and design evolution. The former one requires software systems...
145
click to vote
INFOCOM
2009
IEEE
16 years 27 days ago
2009
IEEE
—We develop diverse routing schemes for dealing with multiple, possibly correlated, failures. While disjoint path protection can effectively deal with isolated single link failur...
152
click to vote
SARA
2009
Springer
16 years 23 days ago
2009
Springer
Perfect recall is the common and natural assumption that an agent never forgets. As a consequence, the agent can always condition its choice of action on any prior observations. I...