2715 search results - page 224 / 543 » An Implementation of Narrowing Strategies |
171
Voted
ENTCS
2006
15 years 6 months ago
2006
Maude has revealed itself as a powerful tool for implementing different kinds of semantics so that quick prototypes are available for trying examples and proving properties. In th...
170
click to vote
JIRS
2006
15 years 6 months ago
2006
The implementation of a particle filter (PF) for vision-based bearing-only simultaneous localization and mapping (SLAM) of a mobile robot in an unstructured indoor environment is p...
248
click to vote
CGF
2005
15 years 6 months ago
2005
Deformable models are a powerful tool in both computer graphics and computer vision. The description and implementation of the deformations have to be simultaneously flexible and ...
224
click to vote
TOPLAS
2002
15 years 6 months ago
2002
We present an efficient encoding of core Java constructs in a simple, implementable typed intermediate language. The encoding, after type erasure, has the same operational behavio...
148
click to vote
TOSEM
2010
15 years 5 months ago
2010
Nu model provides a higher level of abstraction compared to traditional object-oriented ILs, making it easier to e ciently support dynamic AO features. We demonstrate these bene ts...