3394 search results - page 334 / 679 » A Modal Model of Memory |
194
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents’ abilities. Constructive Strategic Logic (csl) is a variant of atl for im...
171
click to vote
FCT
2009
Springer
16 years 1 months ago
2009
Springer
Entanglement is a complexity measure for directed graphs that was used to show that the variable hierarchy of the propositional modal µ-calculus is strict. While graphs of entangl...
164
click to vote
ICMI
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we investigate the multimodal nature of cell phone data in terms of discovering recurrent and rich patterns in people’s lives. We present a method that can discov...
190
click to vote
MFCS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The description of a single state of a modelled system is often complex in practice, but few procedures for synthesis address this problem in depth. We study systems in w...
194
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
In this work we present a method to perform a complete audiovisual source separation without need of previous information. This method is based on the assumption that sounds are c...