1919 search results - page 119 / 384 » Recent Extensions to Traviando |
FROCOS
2009
Springer
15 years 4 months ago
2009
Springer
Deduction modulo consists in applying the inference rules of a deductive system modulo a rewrite system over terms and formulæ. This is equivalent to proving within a so-called co...
FSTTCS
2009
Springer
15 years 4 months ago
2009
Springer
Recently, Mikołaj Boja´nczyk introduced a class of max-regular languages, an extension of regular languages of infinite words preserving many of its usual properties. This new c...
ISVC
2009
Springer
15 years 4 months ago
2009
Springer
In this paper, we present an adaptation the Bag of Features (BoF) concept to 3D shape retrieval problems. The BoF approach has recently become one of the most popular methods in 2D...
IWINAC
2009
Springer
15 years 4 months ago
2009
Springer
In this paper, the ways of optimising a Particle Filter video tracking algorithm are investigated. The optimisation scheme discussed in this work is based on hybridising a Particle...
MODELS
2009
Springer
15 years 4 months ago
2009
Springer
Recently, a generic approach for syntax-based user assistance in diagram editors has been proposed that requires the syntax of the visual language to be defined by a graph grammar...