4962 search results - page 826 / 993 » Stochastic Model Checking |
AAAI
2008
13 years 10 months ago
2008
Coverbal gesture provides a channel for the visual expression of ideas. While some gestural emblems have culturally predefined forms (e.g., "thumbs up"), the relationshi...
ECCV
2010
Springer
13 years 10 months ago
2010
Springer
Many visual search and matching systems represent images using sparse sets of "visual words": descriptors that have been quantized by assignment to the best-matching symb...
HAIS
2010
Springer
13 years 10 months ago
2010
Springer
Electric grids are moving from a centralized single supply chain towards a decentralized bidirectional grid of suppliers and consumers in an uncertain and dynamic scenario. Soon, t...
CIARP
2006
Springer
13 years 10 months ago
2006
Springer
The Neural Gas (NG) is a Vector Quantization technique where a set of prototypes self organize to represent the topology structure of the data. The learning algorithm of the Neural...
EUROGP
2008
Springer
13 years 9 months ago
2008
Springer
We present PlasmidPL, a plasmid-inspired programming language designed for Genetic Programming (GP), and based on a chemical metaphor. The basic data structures in PlasmidPL are ci...