Sciweavers

319 search results - page 20 / 64
» Dynamically inferring temporal properties
Sort
View
ATAL
2011
Springer
12 years 9 months ago
Reasoning about local properties in modal logic
In modal logic, when adding a syntactic property to an axiomatisation, this property will semantically become true in all models, in all situations, under all circumstances. For i...
Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld...
NIPS
2004
13 years 11 months ago
Bayesian inference in spiking neurons
We propose a new interpretation of spiking neurons as Bayesian integrators accumulating evidence over time about events in the external world or the body, and communicating to oth...
Sophie Deneve
WSDM
2010
ACM
322views Data Mining» more  WSDM 2010»
14 years 7 months ago
Inferring Search Behaviors Using Partially Observable Markov (POM) Model
This article describes an application of the partially observable Markov (POM) model to the analysis of a large scale commercial web search log. Mathematically, POM is a variant o...
Kuansan Wang, Nikolas Gloy, Xiaolong Li
CONNECTION
2006
172views more  CONNECTION 2006»
13 years 10 months ago
Temporal sequence detection with spiking neurons: towards recognizing robot language instructions
We present an approach for recognition and clustering of spatio temporal patterns based on networks of spiking neurons with active dendrites and dynamic synapses. We introduce a n...
Christo Panchev, Stefan Wermter
ICPR
2006
IEEE
14 years 11 months ago
Fast Synthesis of Dynamic Colour Textures
Textural appearance of many real word materials is not static but shows progress in time. If such a progress is spatially and temporally homogeneous these materials can be represe...
Jirí Filip, Michal Haindl, Dmitry Chetverik...