38 search results - page 3 / 8 » Coalgebraic Epistemic Update Without Change of Model |
177
click to vote
WEA
2007
Springer
16 years 4 days ago
2007
Springer
Many speed-up techniques for route planning in static graphs exist, only few of them are proven to work in a dynamic scenario. Most of them use preprocessed information, which has ...
159
click to vote
ESOP
2006
Springer
15 years 9 months ago
2006
Springer
Model fields are specification-only fields that encode abstractions of the concrete state of a data structure. They allow specifications to describe the behavior of object-oriented...
197
click to vote
CCCG
1998
15 years 7 months ago
1998
Molecular surface computations are often necessary in order to perform synthetic drug design. A critical step in this process is the computation and update of an exact boundary re...
172
click to vote
ICPR
2008
IEEE
16 years 7 months ago
2008
IEEE
Background subtraction is a popular technique in video surveillance. In order to use it, a background model must be built and updated according to light and scenario changes. We d...
141
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract--Flash memory is well-known for its inherent asymmetry: the flash-cell charge levels are easy to increase but are hard to decrease. In a general rewriting model, the store...